aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/class.ml
Commit message (Expand)AuthorAge
* Prise en compte des coercions dans les clauses "with" même si le typeGravatar herbelin2008-04-23
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* Réorganisation de la structure interne des types de déclarations (decl_kinds)Gravatar herbelin2006-01-28
* Changement des named_contextGravatar gregoire2005-12-02
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* Moving centralised discharge into dispatched discharge_function; required to ...Gravatar herbelin2005-02-18
* Complétion commit précédentGravatar herbelin2004-11-29
* Réduire pour trouver l'arité d'une classeGravatar herbelin2004-11-26
* IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).Gravatar sacerdot2004-11-16
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* Nouvelle en-têteGravatar herbelin2004-07-16
* Recherche de la source à partir de la gauche pour gérer des cas comme 'Coer...Gravatar herbelin2004-06-02
* test de conversion laissait echapper exception NotConvertibleGravatar barras2004-05-14
* 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