coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ajout option translate_syntax pour caractériser l'interprétation du traduct...	herbelin	2003-06-12
*	Module Bij inutilise	herbelin	2003-06-10
*	Ajout fonctions de recherche de sous-chaines (merci a Jacek)	herbelin	2003-06-10
*	Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern	herbelin	2003-05-19
*	Mise en place d'un 2ème traducteur à l'essai (activable avec -ftranslate2)	herbelin	2003-04-29
*	Ajout is_ident_tail	herbelin	2003-04-29
*	Added the Ground tactic.	corbinea	2003-04-25
*	une fonction list_skipn qui zappe les n premiers elements d'une liste	letouzey	2003-04-16
*	test: un boolean et une fonction check_for_interrupt inseree dans la conversi...	filliatr	2003-04-08
*	Déplacement with_option dans Options	herbelin	2003-04-01
*	Ajout de Set Print Width	gregoire	2003-03-26
*	* empty log message *	barras	2003-03-21
*	* empty log message *	barras	2003-03-12
*	Ajout du traducteur	desmettr	2003-02-05
*	interface GTK2 experimentale	monate	2003-02-04
*	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-10
*	Take notations into account: numbers and the CNotation operator.	bertot	2002-12-09
*	A usage cosmetique	letouzey	2002-11-28
*	Ajout list_map_assoc	herbelin	2002-11-26
*	Ajout option_cons	herbelin	2002-11-24
*	Ajout zero	herbelin	2002-11-24
*	Ajout option_fold_left2	herbelin	2002-11-20
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Nouvelle option -xml à coqtop pour compiler un développement en	herbelin	2002-11-05
*	Ajout optino_iter	herbelin	2002-10-14
*	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-13
*	Lazy manuelles dans le code	coq	2002-10-07
*	Lazy experimentale temporaire...	coq	2002-10-05
*	retablissement de Correctness (pas encore teste' cependant)	filliatr	2002-09-18
*	Réintroduction de l'expansion des variables de shell et de '~' dans les	herbelin	2002-09-16
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	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