coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	Changement Filename.is_relative en Filename.is_implicit, plus pertinent	herbelin	2002-05-27
*	Amélioration des messages d'erreurs concernant l'inférence des implicites	herbelin	2002-04-10
*	ajout option_compare	herbelin	2002-02-28
*	- Reforme de la gestion des args recursifs (via arbres reguliers)	barras	2002-02-14
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	ajout list_split3, pr_semicolon et pr_bar	herbelin	2002-01-30
*	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-18
*	Ajout flush	herbelin	2002-01-10
*	reparation du make depend et du .depend	letouzey	2001-12-19
*	compat ocaml 3.03	filliatr	2001-12-13
*	nouvel algo de conversion plus uniforme	barras	2001-11-29
*	Nouvelle fonction	herbelin	2001-10-17
*	Suppression option immediate_discharge; nettoyage de Declare et conséquences	herbelin	2001-10-11
*	Transparent	barras	2001-09-20
*	On ignore les répertoires invisibles dans all_subdirs	herbelin	2001-09-20
*	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-10
*	Nouveau profiler compatible avec ocaml >= 3.01	herbelin	2001-08-05
*	MAJ vis à vis de ocaml 3.01	herbelin	2001-08-01
*	option -quality	filliatr	2001-05-28
*	nettoyage extraction	filliatr	2001-05-09
*	quelques bug reports mineurs	barras	2001-05-07
*	Changement de la structure des points fixes	barras	2001-05-03
*	* empty log message *	courant	2001-04-19
*	array_fold_left_i	filliatr	2001-04-05
*	utilisation de Options.if_verbose	filliatr	2001-04-03
*	amelioration de la consommation memoire de la conversion en eta-expansant	barras	2001-03-23
*	entetes	filliatr	2001-03-15
*	passage ocaml 3.01	filliatr	2001-03-13
*	Ajout list_map3	herbelin	2001-03-12
*	protection contre certaines exceptions levees par marshal_{in,out}	barras	2001-03-09
*	EAutod (debug)	filliatr	2001-03-06
*	module Explore générique et réécriture EAuto avec ce module; occur check ...	filliatr	2001-03-05
*	export open_trapping_failure pour contrib/extraction	filliatr	2001-02-26
*	Mise en place d'un système optionnel de discharge immédiat; prise en compte...	herbelin	2001-02-14
*	Restructuration	herbelin	2001-02-14
*	option -m (utilisation memoire)	filliatr	2001-02-09
*	simplification du make depend; fonctions de stat. util. memoire dans certains...	filliatr	2001-02-08
*	calcul des dependances camlp4 et production directe ml4 -> cmo (avec Judicael)	filliatr	2001-02-05
*	Retire le warning stat	mohring	2001-02-02
*	Ajout d'espace dans les règles d'affichage des infix si des lettres figurent...	herbelin	2001-01-31
*	Ajout flush, divers	herbelin	2001-01-24
*	Protection contre l'échec de Unix.stat	herbelin	2001-01-24
*	Bugs encore	herbelin	2001-01-19
*	Raffinements	herbelin	2001-01-15
*	Petit bug encore	herbelin	2001-01-14