aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/class.ml
Commit message (Expand)AuthorAge
* MAJ messages d'erreurs en accord avec la docGravatar herbelin2003-12-20
* Déplacement d'un morceau de DeclareGravatar herbelin2003-09-12
* Tables logarithmiques pour les coercions + nettoyageGravatar herbelin2003-06-08
* *** empty log message ***Gravatar barras2003-03-12
* Intégration des modifs de la branche mowgli :Gravatar herbelin2002-11-05
* Que des niveaux d'univers frais dans le type des constantes globalesGravatar herbelin2002-09-29
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* Déplacement/renommage de Class.stre_max en Declare.strength_minGravatar herbelin2002-04-16
* compat ocaml 3.03Gravatar filliatr2001-12-13
* Fusion de declare/add_constant, declare/add_parameter et add_discharged_constantGravatar herbelin2001-11-20
* Code mortGravatar herbelin2001-11-20
* Nettoyage coercions et classesGravatar herbelin2001-11-09
* 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