coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ajout d'un "\" pour proteger un autre "\" et ainsi etre compatible avec	clrenard	2001-11-30
*	Protection contre erreurs Unix	herbelin	2001-09-26
*	Ajout d'une option et d'une fonction compile pour fabriquer les .vo	herbelin	2001-09-18
*	quotation des noms de fichiers pour eviter une mauvaise interpretation des \	barras	2001-09-17
*	Amélioration check_module_name	herbelin	2001-09-09
*	amelioration des messages d'erreurs vis a vis des evars	barras	2001-05-23
*	support option -R pour coqdep	filliatr	2001-04-20
*	* empty log message *	courant	2001-04-19
*	option -verbose a coqc; option -i supprimée	filliatr	2001-03-21
*	entetes	filliatr	2001-03-15
*	les options passées sont prioritaires sur les -I par défaut	filliatr	2001-03-15
*	modifs pour extraction; bug coqmktop	filliatr	2001-03-06
*	bug Reset et Sections	filliatr	2001-02-28
*	option -m (utilisation memoire)	filliatr	2001-02-09
*	- coqc : option -image	filliatr	2001-02-01
*	Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...	herbelin	2000-12-06
*	Changement de la syntaxe des options -I et -R	herbelin	2000-11-30
*	- coqc: utilise le meilleur coq possible	filliatr	2000-11-24
*	Deplacement d'options avec ou sans argts	mohring	2000-11-03
*	compilation des fichiers ml4 sans GNUseries	filliatr	2000-11-03
*	- simplification Makefile (compilation des fichiers .ml'; pas encore parfait	filliatr	2000-10-31
*	g_natsyntax et g_zsyntax maintenant toujours linkes	filliatr	2000-10-27
*	Capture erreur de create_process	herbelin	2000-06-29
*	contrib linkees en natif	filliatr	2000-05-08
*	Ajoute option -byte	herbelin	2000-05-05
*	compilation bytecode / native :	filliatr	2000-05-03
*	portage en ocaml / camlp4 3.00	filliatr	2000-04-28
*	Compilation pbs (coqc not finding coqtop, coqc not finding .vo when	courant	2000-04-21
*	modules et coqc	filliatr	1999-12-12
*	link Dhyp et Auto	filliatr	1999-12-07
*	compilation native	filliatr	1999-12-03
*	coqmktop	filliatr	1999-12-03