coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	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
*	* empty log message *	courant	2001-04-19
*	option -verbose a coqc; option -i supprimée	filliatr	2001-03-21
*	entetes	filliatr	2001-03-15
*	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