Commit message (Expand) | Author | Age | |
---|---|---|---|
* | caractere opaque des constantes repris en compte | 2000-12-04 | |
* | Suppression cast inutile | 2000-11-29 | |
* | Remplacement de certains sp_of_id par des locate | 2000-11-26 | |
* | Informations inutiles | 2000-11-23 | |
* | Mieux à sa place dans toplevel | 2000-11-20 | |
* | 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 | |
* | - constantes avec recettes | 1999-12-09 | |
* | deplacement de Discharge dans toplevel | 1999-12-08 | |
* | premier debugage | 1999-12-05 | |
* | - global_reference traite des variables | 1999-12-03 | |
* | Version initiale | 1999-12-02 |