Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | - minicoq : definition inductifs; syntaxe a->b | filliatr | 1999-09-07 | |
* | mise en place commandes minicoq | filliatr | 1999-09-07 | |
* | (debut) de grammaire minicoq | filliatr | 1999-09-07 | |
* | mise en place grammaire minicoq | filliatr | 1999-09-07 | |
* | mise en place repertoire test-suite/, toplevel/, parsing/ | filliatr | 1999-09-06 | |
* | modules Libobject et Summary (partiel) | filliatr | 1999-09-03 | |
* | mise a jour | filliatr | 1999-08-30 | |
* | module Indtypes | filliatr | 1999-08-27 | |
* | environnement sur | filliatr | 1999-08-26 | |
* | le noyau compile et link | filliatr | 1999-08-26 | |
* | mise a jour | filliatr | 1999-08-25 | |
* | mach et himsg; typage sans extraction | filliatr | 1999-08-24 | |
* | machine: execute = typage avec univers | filliatr | 1999-08-20 | |
* | module Reduction (fin) | filliatr | 1999-08-18 | |
* | module Reduction (debut) | filliatr | 1999-08-18 | |
* | module Closure | filliatr | 1999-08-17 | |
* | ajout de modules | filliatr | 1999-08-17 | |
* | ancien names decoupe en names + sign | filliatr | 1999-08-16 | |
* | Initial revision | filliatr | 1999-08-16 |