aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 2ème bug de traduction des PathGravatar herbelin2000-12-06
* Bug de traduction des PathGravatar herbelin2000-12-06
* message d'erreurGravatar herbelin2000-12-06
* MAJGravatar herbelin2000-12-06
* Extension de la syntaxe de LetTacGravatar herbelin2000-12-06
* Ajout erreur DoesNotOccurInGravatar herbelin2000-12-06
* Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...Gravatar herbelin2000-12-06
* Notion de 'clause_pattern' pour désigner un ensemble d'occurrences dans le b...Gravatar herbelin2000-12-06
* Divers bugs LetTacGravatar herbelin2000-12-06
* Retrait list_except_assoc qui existe en standard dans ocaml (remove_assoc)Gravatar herbelin2000-12-06
* *** empty log message ***Gravatar mohring2000-12-06
* *** empty log message ***Gravatar mohring2000-12-06
* *** empty log message ***Gravatar mohring2000-12-06
* *** empty log message ***Gravatar mohring2000-12-06
* Pour la phase debugageGravatar mohring2000-12-06
* Reparation conditions de positivites inductifs, echange dans add_entryGravatar mohring2000-12-06
* Correction pour les qualidconstargGravatar delahaye2000-12-06
* Reparation d'un bug de pretty-printGravatar delahaye2000-12-05
* Plus de quote devant les ident et les ?Gravatar delahaye2000-12-05
* Ajout du répertoire config utilisé par System en localGravatar herbelin2000-12-05
* Bug Cases en presence d'une absence de clauseGravatar herbelin2000-12-05
* Prise en compte Let dans le calcul des arguments manquants d'un lemme (clenv_...Gravatar herbelin2000-12-05
* Inner types are now reduced and arrows are created whenGravatar sacerdot2000-12-05
* MAJGravatar herbelin2000-12-05
* Mini-nettoyage noms longsGravatar herbelin2000-12-05
* Nouvelle table de noms pour les locaux qui ne survit pas à la fermeture de l...Gravatar herbelin2000-12-05
* Nouvelle table de noms pour les locaux qui ne survit pas à la fermeture de l...Gravatar herbelin2000-12-05
* caractere opaque des constantes repris en compteGravatar filliatr2000-12-04
* Ajout de constr_of_stringGravatar mohring2000-12-04
* Portage d'AutoRewriteGravatar delahaye2000-12-02
* LETIN now has a letintarget instead of a targetGravatar sacerdot2000-12-01
* cictypes.dtd changedGravatar sacerdot2000-12-01
* Used a force function to force stream evaluation only for aestaetics reasons.Gravatar sacerdot2000-11-30
* Identifier order in the inner-types file changed.Gravatar sacerdot2000-11-30
* Changement de la syntaxe des options -I et -RGravatar herbelin2000-11-30
* Bug option -I et -R quand le répertoire est '..'Gravatar herbelin2000-11-29
* Prise en compte REQUIRE dans print_leafGravatar herbelin2000-11-29
* Bug option -I et -R quand le répertoire est '.'Gravatar herbelin2000-11-29
* Prise en compte de la contrainte de type dans Definition comme étant un cast...Gravatar herbelin2000-11-29
* Suppression cast inutileGravatar herbelin2000-11-29
* ajout constr_displayGravatar filliatr2000-11-29
* mise a jourGravatar filliatr2000-11-29
* ajoutGravatar filliatr2000-11-29
* -I configGravatar mohring2000-11-29
* Changement dans les noms longs (2eme)Gravatar herbelin2000-11-29
* Changement dans les noms longsGravatar herbelin2000-11-29
* Modifications due to the new As option in AddPath and AddRecPath.Gravatar sacerdot2000-11-29
* Now AddRecPath and AddPath can be used with an As option to specify theGravatar sacerdot2000-11-29
* load_path_entry structure simplified; field relative_subdir renamed to coq_dirpaGravatar sacerdot2000-11-29
* load_path_entry structure simplified; field relative_subdir renamed to coq_dirpaGravatar sacerdot2000-11-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-29 22:31:07 +0000