coq - The formal proof system

Age	Commit message (Expand)	Author
2000-12-06	* empty log message *	mohring
2000-12-06	* empty log message *	mohring
2000-12-06	Pour la phase debugage	mohring
2000-12-06	Reparation conditions de positivites inductifs, echange dans add_entry	mohring
2000-12-06	Correction pour les qualidconstarg	delahaye
2000-12-05	Reparation d'un bug de pretty-print	delahaye
2000-12-05	Plus de quote devant les ident et les ?	delahaye
2000-12-05	Ajout du répertoire config utilisé par System en local	herbelin
2000-12-05	Bug Cases en presence d'une absence de clause	herbelin
2000-12-05	Prise en compte Let dans le calcul des arguments manquants d'un lemme (clenv_...	herbelin
2000-12-05	Inner types are now reduced and arrows are created when	sacerdot
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