coq - The formal proof system

Age	Commit message (Expand)	Author
2001-10-24	seisme suite. correction bugs	letouzey
2001-10-24	Patch de goption.ml pour faire marcher les options synchrones. Passage des op...	letouzey
2001-10-23	suite du seisme	letouzey
2001-10-22	chambardement important des fichiers auxiliaires. Nouvelle syntaxe pour les o...	letouzey
2001-10-17	Abstraction de l'immplementation de dirpath et implementation dans l'autre se...	herbelin
2001-10-12	Déplacement de global_reference dans Names pour pouvoir lier Nametab à gra...	herbelin
2001-10-09	Suppression des arguments sur les constantes, inductifs et constructeurs	barras
2001-10-01	correction de deux petits bugs: case_identité trop fort et Anomaly dans le t...	letouzey
2001-09-20	correction du eta_expanse	letouzey
2001-09-20	bug affichage des termes ml fournis	letouzey
2001-09-20	utilisation du nouveau get_sort_family_of	letouzey
2001-09-20	changements mineurs du test	letouzey
2001-09-19	ajout du fichier CHANGES	letouzey
2001-09-19	adaptation a la nouvelle syntaxe Extract Inlined Constant	letouzey
2001-09-19	Changements de Extraction truc et Recursive Extraction	letouzey
2001-09-19	Deux nouvelles optimisations pour Cases	letouzey
2001-09-19	Verification supplementaire avant optimisation singleton	letouzey
2001-09-18	travail sur le Extract Constant	letouzey
2001-09-10	changement du make depend en vu du make reals	letouzey
2001-09-10	bug de rename_global modulaire corrige'	letouzey
2001-08-10	Parsing	herbelin
2001-07-21	Remplacement du tableau du nombre d'args utiles pour la réduction des Cases ...	herbelin
2001-07-02	Nettoyage/restructuration des ensembles d'indicateurs de réductions	herbelin
2001-06-22	2 bugs: typevarlist pour inductifs + args pour flexibles	letouzey
2001-05-25	Oups: flingait les Dglob dans optimize	letouzey
2001-05-22	maj	letouzey
2001-05-22	suite du musée des horreurs	letouzey
2001-05-22	ordre des inductifs + axiome-type	letouzey
2001-05-14	mise en place extraction haskell	filliatr
2001-05-11	bug cast	letouzey
2001-05-10	exemples Magic	letouzey
2001-05-10	retouche de extract_inductive_declaration	letouzey
2001-05-09	nettoyage extraction	filliatr
2001-05-09	cleanup + comments, toujours	letouzey
2001-05-04	commentaires	letouzey
2001-05-03	Changement de la structure des points fixes	barras
2001-05-02	commentaires sur renommages des var dans extract_type	letouzey
2001-04-30	cleanup, comments	letouzey
2001-04-30	ocamlweb	filliatr
2001-04-30	commentaires mlutil + binders_fold en cours	letouzey
2001-04-25	make reals prend en compte tous les .vo de theories/Reals	filliatr
2001-04-24	README avec ref (2)	letouzey
2001-04-24	TODO in v.o., test/Makefile moins pire, README avec ref	letouzey
2001-04-24	Ajout du .depend	mohring
2001-04-24	Retire theories/Num	mohring
2001-04-24	Correction typos	mohring
2001-04-24	ajout d'un fichier README	letouzey
2001-04-24	Fin d'optimisation (cas modules) + warning pour coind & ocaml	letouzey
2001-04-24	cofix_warning dans les parametres d'extraction	filliatr
2001-04-23	forme code	filliatr