aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* load_path_entry structure simplified; field relative_subdir renamed to coq_di...Gravatar sacerdot2000-11-29
* mise à jourGravatar filliatr2000-11-29
* Nouveau long long avec Coq en têteGravatar herbelin2000-11-29
* MAJGravatar herbelin2000-11-29
* La zone par défaut pour le nommage des modules est ScratchGravatar herbelin2000-11-29
* Code mortGravatar herbelin2000-11-29
* Ajout d'une option d'alias à -IGravatar herbelin2000-11-29
* Nouveau long long avec Coq en têteGravatar herbelin2000-11-29
* Enregistrement des racines de la bibliothèqueGravatar herbelin2000-11-29
* Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...Gravatar herbelin2000-11-29
* Ajout d'un test pour vérifier qu'on a affaire à un identGravatar herbelin2000-11-29
* Déplacement du message d'erreur de gen_rel vers l'appelant pour le prétypageGravatar herbelin2000-11-29
* Now also inner-types are exported.Gravatar sacerdot2000-11-29
* Hack pour contourner CVS en local dans la recherche rcursive de load_pathGravatar herbelin2000-11-28
* Remplacement des add_include par add_rec_include pour avoir le repertoire dan...Gravatar herbelin2000-11-28
* Les variables doivent persister dans les vo pour HELMGravatar herbelin2000-11-28
* Code clean-up due to the new usage of longer names in Coq.Gravatar sacerdot2000-11-28
* Prise en compte du repertoire dans le section path; utilisation de dirpath po...Gravatar herbelin2000-11-28
* Ajout des Fix et CoFix dans les patternsGravatar delahaye2000-11-28
* Added -R inclusion to fix compilation in not-local configuration.Gravatar sacerdot2000-11-28
* -I inutiles pour coqc et utilisation de -R theories (pour garder trace des no...Gravatar herbelin2000-11-28
* Elimination du 'Gravatar delahaye2000-11-28
* Elimination du 'Gravatar delahaye2000-11-28
* Un == non reconnu sous alphaGravatar delahaye2000-11-28
* Rajout de PolyListSyntax aussi dans MakefileGravatar herbelin2000-11-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 03:34:05 +0000