coq - The formal proof system

Age	Commit message (Expand)	Author
2003-03-26	Ajout de Set Print Width	gregoire
2003-03-21	* empty log message *	barras
2003-03-12	* empty log message *	barras
2003-02-05	Ajout du traducteur	desmettr
2003-02-04	interface GTK2 experimentale	monate
2002-12-10	Ajout options -v7 et -v8, et commandes V7only et V8only	herbelin
2002-12-10	Ajout options -v7 et -v8, et commandes V7only et V8only	herbelin
2002-12-09	Take notations into account: numbers and the CNotation operator.	bertot
2002-11-28	A usage cosmetique	letouzey
2002-11-26	Ajout list_map_assoc	herbelin
2002-11-24	Ajout option_cons	herbelin
2002-11-24	Ajout zero	herbelin
2002-11-20	Ajout option_fold_left2	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-11-05	Nouvelle option -xml à coqtop pour compiler un développement en	herbelin
2002-10-14	Ajout optino_iter	herbelin
2002-10-13	Bug affichage du chiffre 0	herbelin
2002-10-13	Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...	herbelin
2002-10-07	Lazy manuelles dans le code	coq
2002-10-05	Lazy experimentale temporaire...	coq
2002-09-18	retablissement de Correctness (pas encore teste' cependant)	filliatr
2002-09-16	Réintroduction de l'expansion des variables de shell et de '~' dans les	herbelin
2002-08-02	Modules dans COQ\!\!\!\!	coq
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