coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fixed parsing of -no-native-compiler flag.	mdenes	2013-01-24
*	coqtop -time : display per-command timings	letouzey	2012-10-05
*	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey	2012-08-23
*	No more coqtop.opt, produce directly a coqtop binary	letouzey	2012-08-23
*	Updating headers.	herbelin	2012-08-08
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Noise for nothing	pboutill	2012-03-02
*	Coqtop and coqc: cleaning description of options in RefMan and manpages.	pboutill	2012-01-21
*	-user option removal	pboutill	2011-11-21
*	In Coq_config: get rid of coqsrc and make coqlib optional	glondu	2011-09-27
*	coqc: Recognize option -force-load-proofs.	letouzey	2011-09-15
*	Coqc: fix the exit code	letouzey	2011-04-15
*	Remove the "Boxed" syntaxes and the const_entry_boxed field	letouzey	2011-01-28
*	CoqIDE argv parsing delegated to coqtop	vgross	2010-09-14
*	* scripts/Coqc toplevel/Usage:	regisgia	2010-08-27
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Fixing part 1 of bug #2242 (-I -as and -R -as were supported for	herbelin	2010-04-09
*	Coqc: on win32, let's call coqtop.exe by default, not coqtop.opt.exe	letouzey	2010-02-26
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Improved parameterization of Coq:	herbelin	2009-08-02
*	- Suppression date dans configure du trunk	herbelin	2008-12-26
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	- configure: do not strip coqtop on Darwin so as to support dynamic loading	herbelin	2008-12-12
*	Fixed bug in VernacExtend printing + missing vernacular printing rules +	herbelin	2008-11-22
*	Tentative d'amélioration de la robustesse des Makefile générés par	notin	2008-11-13
*	Suppression d'un warning inutile	notin	2008-09-09
*	coqc: warning de l'option -dump-glob (unused case)	barras	2008-08-07
*	Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...	notin	2008-07-18
*	Suppression de l'option -dump-glob et ajout d'une option -no-glob	notin	2008-06-24
*	Uniformisation de l'option -where de coqc avec celle de coqtop	notin	2007-10-18
*	Remplacement -no-vm par -vm	herbelin	2005-12-28
*	compatibility with POWERPC	gregoire	2004-11-22
*	Added option -no-vm.	sacerdot	2004-10-25
*	COMMITED BYTECODE COMPILER	barras	2004-10-20
*	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
*	option -strict-implicit pas reconnue	barras	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
*	Fusion -translate et -ftranslate	herbelin	2003-08-14
*	Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofs	herbelin	2003-08-11
*	Ajout du traducteur	desmettr	2003-02-05
*	Ajout options -v7 et -v8, et commandes V7only et V8only	herbelin	2002-12-10
*	Intégration des modifs de la branche mowgli :	herbelin	2002-11-05
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	Protection contre erreurs Unix	herbelin	2001-09-26