coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Suppression de l'option -dump-glob et ajout d'une option -no-glob	notin	2008-06-24
*	Intégration de micromega ("omicron" pour fourier et sa variante sur Z,	herbelin	2008-05-19
*	Des choses bizarres avec pa_op.cmo (extension syntaxique pour parser)	herbelin	2008-03-09
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	Oups. Clflags.recursive_types isnt normally accessible on a standard ocaml in...	letouzey	2007-11-06
*	For debugging with coqtop.byte with ocaml 3.10, the toplevel should be made w...	letouzey	2007-11-05
*	Uniformisation de l'option -where de coqc avec celle de coqtop	notin	2007-10-18
*	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey	2007-09-15
*	Plus d'option -v8 dans coqmktop	herbelin	2007-04-29
*	Correction bug #1282	herbelin	2007-01-17
*	Modification de l'appel aux exécutables Caml	notin	2006-09-14
*	Suite ajout option -ocamlib à configure	notin	2006-09-01
*	Compilation de Coq sous Windows	notin	2006-08-29
*	- intégration de la modification suggérée par L. Mamane: coqmktop passe ma...	notin	2006-05-04
*	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin	2006-04-28
*	Remplacement -no-vm par -vm	herbelin	2005-12-28
*	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin	2005-11-08
*	Passage option -w à ocaml	herbelin	2005-11-04
*	q_*.cmo useless for making coqtop	herbelin	2005-02-18
*	compatibility with POWERPC	gregoire	2004-11-22
*	bug coqmktop avec libcoqrun.a en bytecode	barras	2004-11-15
*	Added option -no-vm.	sacerdot	2004-10-25
*	COMMITED BYTECODE COMPILER	barras	2004-10-20
*	no-assert en mode natif	herbelin	2004-09-26
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17
*	Correction commit precedent	herbelin	2004-09-04
*	MAJ options coqtop et coqc	herbelin	2004-09-03
*	Nouvelle en-tête	herbelin	2004-07-16
*	coqc: create_process sous Windows	coq	2004-03-18
*	option -l de coqc non reconnue (coq-bugs #509)	barras	2004-03-09
*	deplacement des cma et cmxa dans les sous-repertoires	barras	2004-01-26
*	make libraries, lexing of more utf8 symbols	marche	2004-01-14
*	option -strict-implicit pas reconnue	barras	2003-12-30
*	ameliorations coqide	coq	2003-12-30
*	Ajout option -impredicative-set	herbelin	2003-11-08
*	Renommage no-strict en -strict-implicit; option -dont-load-proofs	herbelin	2003-10-08
*	Inclusion automatique de highparsing	herbelin	2003-09-12
*	Fusion -translate et -ftranslate	herbelin	2003-08-14
*	Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofs	herbelin	2003-08-11
*	Coqide : introduction des coprocessus. CoqIde est maintenant interruptible	monate	2003-04-09
*	on repasse aussi -thread a Caml	filliatr	2003-04-08
*	coqmktop: -ide fait ce qu'il faut (on peut maintenant construire des Coq IDE ...	filliatr	2003-03-17
*	* empty log message *	barras	2003-03-12
*	Ajout du traducteur	desmettr	2003-02-05
*	interface GTK2 experimentale	monate	2003-02-04
*	Contournement de ocamlmktop qui plante sous win32	herbelin	2003-02-04
*	Ajout options -v7 et -v8, et commandes V7only et V8only	herbelin	2002-12-10
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Intégration des modifs de la branche mowgli :	herbelin	2002-11-05
*	echappements incorrects dans chaine	filliatr	2002-09-17