coq - The formal proof system

Age	Commit message (Expand)	Author
2000-11-20	Ajout d'une Nametab et d'un flag export aux ClosedSection; on applique export...	herbelin
2000-11-20	Ajout erreur GlobalNotFound	herbelin
2000-11-20	Cablage des syntactif defs avec la Nametab des objets	herbelin
2000-11-20	Mieux à sa place dans toplevel	herbelin
2000-11-20	Prise en compte noms longs	herbelin
2000-11-20	Ajout pr_global_reference et is_visible	herbelin
2000-11-20	Tables des eval_constant devient une Cstmap	herbelin
2000-11-20	Une capsule pour save_module_to dans Discharge	herbelin
2000-11-15	mise a jour	filliatr
2000-11-15	Changed the semantics of AddRecPath.	sacerdot
2000-11-15	methode export	filliatr
2000-11-15	-opt ne remplace plus camlp4 par camlp4o.opt car on ne peut pas	filliatr
2000-11-15	concernant les binaires	filliatr
2000-11-13	Retour a la version 1.1	herbelin
2000-11-11	Y avait des '.' non suivis d'un séparateur	herbelin
2000-11-11	Gros hack pour afficher les univers	herbelin
2000-11-11	Code more concernant feu les abstractions	herbelin
2000-11-11	Prise en compte camlp4.opt dans la configuration et le Makefile	herbelin
2000-11-10	mise-a-jour, ajouts de quelques truc...	mayero
2000-11-10	Code mort	herbelin
2000-11-10	Bugs lies a la confusion load/open et a un open abusivement recursif dans lib...	herbelin
2000-11-10	Finalement PolyListSyntax est necessaire (la redondance venait d'une confusio...	herbelin
2000-11-10	Bugs lies a la confusion load/open et a un open abusivement recursif dans lib...	herbelin
2000-11-09	Amélioration message d'erreur arg explicité au lieu d'arg normal	herbelin
2000-11-09	Renommage canonique SectionLocalDecl -> SectionLocalAssum	herbelin
2000-11-09	Bug et simplification nouvel Induction	herbelin
2000-11-09	do_Makefile -> coq_makefile pour le bootstrap!	filliatr
2000-11-09	do_Makefile -> coq_makefile	filliatr
2000-11-09	-I states dans les includes de Coq	filliatr
2000-11-09	-I theories/Init pour faire initial.coq	filliatr
2000-11-09	coqc appele avec -bindir bin	filliatr
2000-11-09	mise a jour	filliatr
2000-11-09	all_subdirs teste si son argument est un repertoire; sinon ne fait rien	filliatr
2000-11-08	nouveau load path	filliatr
2000-11-08	amélioration	herbelin
2000-11-08	merge_loc	herbelin
2000-11-08	Insertion de coercion au milieu des applications partielles et propagation de...	herbelin
2000-11-08	First version with out_variable used. Exports all the standard library	sacerdot
2000-11-08	binaires a ingorer par CVS	filliatr
2000-11-08	tous les binaires maintenant dans le repertoire bin	filliatr
2000-11-08	out_variable (Liboject.obj -> ...) distibgue de get_variable	filliatr
2000-11-07	Modification de la table des tactic Definitions pour eviter l'ecriture	mohring
2000-11-07	Bug sur précédent commit	herbelin
2000-11-07	Nettoyage Names suite	herbelin
2000-11-07	MAJ	herbelin
2000-11-07	Changement/extension dans les noms de parseurs de Grammar	herbelin
2000-11-07	Correction sur commit errone de la version 1.3	herbelin
2000-11-07	Changement/extension dans les noms de parseurs de Grammar	herbelin
2000-11-07	Orthographe	herbelin
2000-11-07	MAJ	herbelin