aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/class.ml
Commit message (Expand)AuthorAge
* GROS COMMIT:Gravatar barras2001-11-05
* Suppression option immediate_discharge; nettoyage de Declare et conséquencesGravatar herbelin2001-10-11
* Suppression des arguments sur les constantes, inductifs et constructeursGravatar barras2001-10-09
* TransparentGravatar barras2001-09-20
* Ajout de la profondeur de section à DischargeAt pour gérer l'«open» et le...Gravatar herbelin2001-09-19
* Suppression du message d'erreur si une coercion mettant en jeu des locaux n'e...Gravatar herbelin2001-09-18
* Bug discharge d'une déclaration de coercion pour une constante non définie ...Gravatar herbelin2001-09-18
* ParsingGravatar herbelin2001-08-10
* Débogage discharge des coercions; nettoyageGravatar herbelin2001-07-05
* entetesGravatar filliatr2001-03-15
* Mise en place d'un système optionnel de discharge immédiat; prise en compte...Gravatar herbelin2001-02-14
* Retrait de EvarRef de global_reference; nettoyage autour de ast_of_refGravatar herbelin2001-02-07
* Restructuration de classops; évolution en une version mieux intégrée au re...Gravatar herbelin2001-02-05
* Bug lié au dischargeGravatar herbelin2001-01-31
* Prise en compte des noms longs dans les Hints et les Coercions, et réorganis...Gravatar herbelin2001-01-24
* Bug Identity CoercionGravatar herbelin2001-01-18
* Ajout du Let pour le langage de tactiquesGravatar delahaye2000-12-29
* Un nom long pour les variables de section qui font classe ou coercion; réorg...Gravatar herbelin2000-12-25
* caractere opaque des constantes repris en compteGravatar filliatr2000-12-04
* Suppression cast inutileGravatar herbelin2000-11-29
* Remplacement de certains sp_of_id par des locateGravatar herbelin2000-11-26
* Informations inutilesGravatar herbelin2000-11-23
* Mieux à sa place dans toplevelGravatar herbelin2000-11-20
* Ajout de RecordGravatar herbelin2000-01-11
* Déplacement non-affichage des coercions dans termastGravatar herbelin2000-01-07
* Nouveaux types 'constructor' et 'inductive' dans Term;Gravatar herbelin1999-12-15
* - constantes avec recettesGravatar filliatr1999-12-09
* deplacement de Discharge dans toplevelGravatar filliatr1999-12-08
* premier debugageGravatar filliatr1999-12-05
* - global_reference traite des variablesGravatar filliatr1999-12-03
* Version initialeGravatar herbelin1999-12-02