coq - The formal proof system

Age	Commit message (Expand)	Author
2001-10-17	Nouvelle fonction	herbelin
2001-10-11	Suppression option immediate_discharge; nettoyage de Declare et conséquences	herbelin
2001-09-20	Transparent	barras
2001-09-20	On ignore les répertoires invisibles dans all_subdirs	herbelin
2001-08-10	Bug	herbelin
2001-08-10	Prise en compte des strings et des flottants dans les statistiques de tailles...	herbelin
2001-08-10	Parsing	herbelin
2001-08-05	Nouveau profiler compatible avec ocaml >= 3.01	herbelin
2001-08-01	MAJ vis à vis de ocaml 3.01	herbelin
2001-05-28	option -quality	filliatr
2001-05-09	nettoyage extraction	filliatr
2001-05-07	quelques bug reports mineurs	barras
2001-05-03	Changement de la structure des points fixes	barras
2001-04-19	* empty log message *	courant
2001-04-05	array_fold_left_i	filliatr
2001-04-03	utilisation de Options.if_verbose	filliatr
2001-03-23	amelioration de la consommation memoire de la conversion en eta-expansant	barras
2001-03-15	entetes	filliatr
2001-03-13	passage ocaml 3.01	filliatr
2001-03-12	Ajout list_map3	herbelin
2001-03-09	protection contre certaines exceptions levees par marshal_{in,out}	barras
2001-03-06	EAutod (debug)	filliatr
2001-03-05	module Explore générique et réécriture EAuto avec ce module; occur check ...	filliatr
2001-02-26	export open_trapping_failure pour contrib/extraction	filliatr
2001-02-14	Mise en place d'un système optionnel de discharge immédiat; prise en compte...	herbelin
2001-02-14	Restructuration	herbelin
2001-02-09	option -m (utilisation memoire)	filliatr
2001-02-08	simplification du make depend; fonctions de stat. util. memoire dans certains...	filliatr
2001-02-05	calcul des dependances camlp4 et production directe ml4 -> cmo (avec Judicael)	filliatr
2001-02-02	Retire le warning stat	mohring
2001-01-31	Ajout d'espace dans les règles d'affichage des infix si des lettres figurent...	herbelin
2001-01-24	Ajout flush, divers	herbelin
2001-01-24	Protection contre l'échec de Unix.stat	herbelin
2001-01-19	Bugs encore	herbelin
2001-01-15	Raffinements	herbelin
2001-01-14	Petit bug encore	herbelin
2001-01-14	Bien sûr: bugs sur précédent commit; améliorations	herbelin
2001-01-14	Prise en compte de l'allocation mémoire et affichage des résultats net du s...	herbelin
2000-12-12	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr
2000-12-06	Retrait list_except_assoc qui existe en standard dans ocaml (remove_assoc)	herbelin
2000-11-29	load_path_entry structure simplified; field relative_subdir renamed to coq_dirpa	sacerdot
2000-11-29	Code mort	herbelin
2000-11-29	Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...	herbelin
2000-11-28	Hack pour contourner CVS en local dans la recherche rcursive de load_path	herbelin
2000-11-28	Prise en compte du repertoire dans le section path; utilisation de dirpath po...	herbelin
2000-11-15	Changed the semantics of AddRecPath.	sacerdot
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-06	nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...	filliatr
2000-10-19	Use UTF-8 as default encoding for computing length of strings in pretty	miquel