coq - The formal proof system

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