coq - The formal proof system

Age	Commit message (Expand)	Author
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin
2002-05-27	Changement Filename.is_relative en Filename.is_implicit, plus pertinent	herbelin
2002-04-10	Amélioration des messages d'erreurs concernant l'inférence des implicites	herbelin
2002-02-28	ajout option_compare	herbelin
2002-02-14	- Reforme de la gestion des args recursifs (via arbres reguliers)	barras
2002-02-14	option -dump-glob pour coqdoc	filliatr
2002-01-30	ajout list_split3, pr_semicolon et pr_bar	herbelin
2002-01-18	List.map avec ordre des effets de bord garanti	herbelin
2002-01-18	Le chargement des coercions est nécessaire même si le module n'est pas ouvert	herbelin
2002-01-18	code redondant avec is_verbose	herbelin
2002-01-10	Ajout flush	herbelin
2001-12-19	reparation du make depend et du .depend	letouzey
2001-12-13	compat ocaml 3.03	filliatr
2001-11-29	nouvel algo de conversion plus uniforme	barras
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