coq - The formal proof system

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