coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge PR #6264: [kernel] Patch allowing to disable VM reduction.	Maxime Dénès	2017-12-14
\|\
* \|	[build] Remove coqmktop in favor of ocamlfind.	Emilio Jesus Gallego Arias	2017-12-10
\| *	[kernel] Patch allowing to disable VM reduction.	Emilio Jesus Gallego Arias	2017-12-02
\|/
*	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: add support of MinGW Win32 environment (fix #2526)	letouzey	2012-05-23
*	Tentative and very experminental support for typerex. Enabled with	aspiwack	2012-05-11
*	./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
*	Coqide Menubar integration in MacOS	pboutill	2011-06-10
*	coqtop -config returns coq returns coq environments at exection time	pboutill	2011-04-28
*	Coqide: a special kill function for win32	letouzey	2011-04-21
*	MacOS integration	pboutill	2011-01-07
*	TeX input method is now supported upstream	vgross	2010-10-07
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Add (almost) compatibility with camlp4, without breaking support for camlp5	letouzey	2010-05-19
*	"make source-doc" builds documentation of mli in html and pdf at	pboutill	2010-04-29
*	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
*	Polishing the setup of CoqIDE Input Method	vgross	2010-02-18
*	Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...	letouzey	2009-12-09
*	Added profile.cmo in grammar.cma so that any functions in one of the	herbelin	2009-08-14
*	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
*	Cleanup: remove unused config/giveostype.ml	letouzey	2009-03-11
*	Fix de divers petits problèmes d'installation	notin	2009-02-11