coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Remove GeoProof support.	Maxime Dénès	2017-10-11
*	[flambda] [native] Pass `-Oclassic` to the native compiler.	Emilio Jesus Gallego Arias	2017-10-10
*	[configure] Support for flambda flags.	Emilio Jesus Gallego Arias	2017-10-10
*	coq_makefile: make sure compile flags for Coq and coq_makefile are in sync	Emilio Jesus Gallego Arias	2017-09-19
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Add support for "-bypass-API" argument of "coq_makefile"	Matej Košík	2017-06-12
*	Exporting the suffixes needed to build coqlib, docdir, etc.	Hugo Herbelin	2017-05-29
*	Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.	Hugo Herbelin	2017-05-29
*	Configuration: always giving a value to configdir and datadir.	Hugo Herbelin	2017-05-29
*	Fix some documentation typos.	Guillaume Melquiond	2016-11-24
*	fix bug 3683 : adds references to the web site for the bug tracker	Yves Bertot	2016-09-29
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	All invocations to ocaml compilers go through ocamlfind	Pierre Boutillier	2015-06-22
\|/
*	Update headers.	Maxime Dénès	2015-01-12
*	Coqmktop without Sys.command, changes in ./configure -*byteflags options	Pierre Letouzey	2014-01-30
*	Misc changes around coqtop.ml :	letouzey	2013-08-22
*	New -no-native-compiler flag for configure, globally disabling the native	mdenes	2013-02-24
*	Repair the configure after Hugo's last "repair" ;-)	letouzey	2012-10-05
*	Updating headers.	herbelin	2012-08-08
*	./configure & freedesktop	pboutill	2011-12-18
*	coqide default pref files are by default in /etc/xdg/coq/	pboutill	2011-11-21
*	In Coq_config: get rid of coqsrc and make coqlib optional	glondu	2011-09-27
*	Revert "Coqide now need lablgtk2.14.0" + Ide build system debugging	pboutill	2011-06-14
*	coqtop -config returns coq returns coq environments at exection time	pboutill	2011-04-28
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Look for csdp in $PATH at runtime, remove -csdpdir configure option	glondu	2010-04-11
*	Application des patches envoyés par F. Besson pour micromega	notin	2010-03-08
*	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