coq - The formal proof system

Age	Commit message (Expand)	Author
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
2002-02-14	option -dump-glob pour coqdoc	filliatr
2001-11-30	Ajout d'un "\" pour proteger un autre "\" et ainsi etre compatible avec	clrenard
2001-09-26	Protection contre erreurs Unix	herbelin
2001-09-18	Ajout d'une option et d'une fonction compile pour fabriquer les .vo	herbelin
2001-09-17	quotation des noms de fichiers pour eviter une mauvaise interpretation des \	barras
2001-09-09	Amélioration check_module_name	herbelin
2001-05-23	amelioration des messages d'erreurs vis a vis des evars	barras
2001-04-20	support option -R pour coqdep	filliatr
2001-04-19	* empty log message *	courant
2001-03-21	option -verbose a coqc; option -i supprimée	filliatr
2001-03-15	entetes	filliatr
2001-03-15	les options passées sont prioritaires sur les -I par défaut	filliatr
2001-03-06	modifs pour extraction; bug coqmktop	filliatr
2001-02-28	bug Reset et Sections	filliatr
2001-02-09	option -m (utilisation memoire)	filliatr
2001-02-01	- coqc : option -image	filliatr
2000-12-06	Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...	herbelin