coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Tried to make F1 documentation tool working in CoqIDE.	herbelin	2009-08-14
*	Report de la révision #12104 (Maj lien site web de Coq)	notin	2009-04-24
*	Ocamlbuild: option for (not) building coqide, better log messages	letouzey	2009-04-03
*	Ocamlbuild: improvements suggested by N. Pouillard	letouzey	2009-04-03
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	Fix de divers petits problèmes d'installation	notin	2009-02-11
*	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin	2009-02-11
*	Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...	notin	2009-01-06
*	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin	2008-12-19
*	Native "Declare ML Module" when possible	glondu	2008-10-28
*	Parametrize link flags for VM-dependent bytecode	glondu	2008-09-05
*	Add -browser option to configure script	glondu	2008-07-27
*	moved magic numbers to configure (share coq/coqchk)	barras	2008-07-24
*	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey	2007-09-15
*	Suite ajout option -ocamlib à configure	notin	2006-09-01
*	Ajout d'une option -with-geoproof à la configuration et à l'exécution	notin	2006-06-09
*	Nouvelle en-tête	herbelin	2004-07-16
*	* empty log message *	courant	2001-04-19
*	entetes	filliatr	2001-03-15
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	- coqc: utilise le meilleur coq possible	filliatr	2000-11-24
*	nouveau load path	filliatr	2000-11-08
*	mise en place des outils	filliatr	1999-12-11
*	- erreurs Pretype	filliatr	1999-12-10
*	mise en place programmation literaire (generation de doc/coq.tex)	filliatr	1999-08-19
*	Initial revision	filliatr	1999-08-16