Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Nouveaux types 'constructor' et 'inductive' dans Term; | 1999-12-15 | |
* | rattrapage exceptions autres que UserError | 1999-12-14 | |
* | indications pour les developpeurs | 1999-12-10 | |
* | premier debugage | 1999-12-05 | |
* | Modifs suite à intégration de class.ml | 1999-12-02 | |
* | Intégration du Termast et du Retyping de HH, et modifications connexes | 1999-12-01 | |
* | modules Indrec, Tacentries, Hiddentac | 1999-11-23 | |
* | modules Bij, Gmapl, Stock | 1999-11-19 | |
* | discriminations nets | 1999-11-19 | |
* | changements dans les grammaires | 1999-09-08 | |
* | environnement sur | 1999-08-26 | |
* | le noyau compile et link | 1999-08-26 | |
* | mach et himsg; typage sans extraction | 1999-08-24 | |
* | machine: execute = typage avec univers | 1999-08-20 | |
* | module Reduction (debut) | 1999-08-18 | |
* | module Closure | 1999-08-17 | |
* | ajout de modules | 1999-08-17 | |
* | liste des changements | 1999-08-16 |