Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Ajout de Record | 2000-01-11 | ||
* | Déplacement non-affichage des coercions dans termast | 2000-01-07 | ||
* | Nouveaux types 'constructor' et 'inductive' dans Term; | 1999-12-15 | ||
* | modules | 1999-12-12 | ||
* | - constantes avec recettes | 1999-12-09 | ||
* | Discharge (encore bugge) | 1999-12-09 | ||
* | deplacement de Discharge dans toplevel | 1999-12-08 |