coq - The formal proof system

Age	Commit message (Expand)	Author
2000-12-05	MAJ	herbelin
2000-12-05	Mini-nettoyage noms longs	herbelin
2000-12-05	Nouvelle table de noms pour les locaux qui ne survit pas à la fermeture de l...	herbelin
2000-12-05	Nouvelle table de noms pour les locaux qui ne survit pas à la fermeture de l...	herbelin
2000-12-04	caractere opaque des constantes repris en compte	filliatr
2000-12-04	Ajout de constr_of_string	mohring
2000-12-02	Portage d'AutoRewrite	delahaye
2000-12-01	LETIN now has a letintarget instead of a target	sacerdot
2000-12-01	cictypes.dtd changed	sacerdot
2000-11-30	Used a force function to force stream evaluation only for aestaetics reasons.	sacerdot
2000-11-30	Identifier order in the inner-types file changed.	sacerdot
2000-11-30	Changement de la syntaxe des options -I et -R	herbelin
2000-11-29	Bug option -I et -R quand le répertoire est '..'	herbelin
2000-11-29	Prise en compte REQUIRE dans print_leaf	herbelin
2000-11-29	Bug option -I et -R quand le répertoire est '.'	herbelin
2000-11-29	Prise en compte de la contrainte de type dans Definition comme étant un cast...	herbelin
2000-11-29	Suppression cast inutile	herbelin
2000-11-29	ajout constr_display	filliatr
2000-11-29	mise a jour	filliatr
2000-11-29	ajout	filliatr
2000-11-29	-I config	mohring
2000-11-29	Changement dans les noms longs (2eme)	herbelin
2000-11-29	Changement dans les noms longs	herbelin
2000-11-29	Modifications due to the new As option in AddPath and AddRecPath.	sacerdot
2000-11-29	Now AddRecPath and AddPath can be used with an As option to specify the	sacerdot
2000-11-29	load_path_entry structure simplified; field relative_subdir renamed to coq_dirpa	sacerdot
2000-11-29	load_path_entry structure simplified; field relative_subdir renamed to coq_dirpa	sacerdot
2000-11-29	load_path_entry structure simplified; field relative_subdir renamed to coq_di...	sacerdot
2000-11-29	mise à jour	filliatr
2000-11-29	Nouveau long long avec Coq en tête	herbelin
2000-11-29	MAJ	herbelin
2000-11-29	La zone par défaut pour le nommage des modules est Scratch	herbelin
2000-11-29	Code mort	herbelin
2000-11-29	Ajout d'une option d'alias à -I	herbelin
2000-11-29	Nouveau long long avec Coq en tête	herbelin
2000-11-29	Enregistrement des racines de la bibliothèque	herbelin
2000-11-29	Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...	herbelin
2000-11-29	Ajout d'un test pour vérifier qu'on a affaire à un ident	herbelin
2000-11-29	Déplacement du message d'erreur de gen_rel vers l'appelant pour le prétypage	herbelin
2000-11-29	Now also inner-types are exported.	sacerdot
2000-11-28	Hack pour contourner CVS en local dans la recherche rcursive de load_path	herbelin
2000-11-28	Remplacement des add_include par add_rec_include pour avoir le repertoire dan...	herbelin
2000-11-28	Les variables doivent persister dans les vo pour HELM	herbelin
2000-11-28	Code clean-up due to the new usage of longer names in Coq.	sacerdot
2000-11-28	Prise en compte du repertoire dans le section path; utilisation de dirpath po...	herbelin
2000-11-28	Ajout des Fix et CoFix dans les patterns	delahaye
2000-11-28	Added -R inclusion to fix compilation in not-local configuration.	sacerdot
2000-11-28	-I inutiles pour coqc et utilisation de -R theories (pour garder trace des no...	herbelin
2000-11-28	Elimination du '	delahaye
2000-11-28	Elimination du '	delahaye