coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	MAJ options coqtop et coqc	herbelin	2004-09-03
*	Nouvelle en-tête	herbelin	2004-07-16
*	Ajout nouvelles options	herbelin	2004-01-15
*	Intégration des modifs de la branche mowgli :	herbelin	2002-11-05
*	backtrack dans l'algo d'unification	barras	2002-04-10
*	raccourci -l en plus de -load-vernac-source	letouzey	2002-03-07
*	-dump-glob dans le usage	filliatr	2002-02-27
*	Ajout d'une option et d'une fonction compile pour fabriquer les .vo	herbelin	2001-09-18
*	* empty log message *	courant	2001-04-19
*	bug Print Proof; usage coqtop/coqc	filliatr	2001-04-06
*	option -verbose a coqc; option -i supprimée	filliatr	2001-03-21
*	entetes	filliatr	2001-03-15
*	Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...	herbelin	2000-12-06
*	- coqc: utilise le meilleur coq possible	filliatr	2000-11-24
*	retablissement de line_oriented_parser pour Yves	filliatr	2000-11-22
*	modules	filliatr	1999-12-12
*	modules profile, Coqinit et Coqtop (=main)	filliatr	1999-12-03