coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-04-24
\|\
\| *	Fixing 50266aab on incompatibility of OCaml 4.01.0 with option -debug.	Hugo Herbelin	2016-04-19
\| *	Updating configure.ml wrt Coq not compilable with OCaml 4.01.0 in debug mode.	Hugo Herbelin	2016-04-17
\| *	Update version number for 8.5pl1	Maxime Dénès	2016-03-29
\| *	Update version number in configure.	Maxime Dénès	2016-01-20
\| *	Update version numbers and magic numbers for 8.5rc1 release.	Maxime Dénès	2015-12-16
* \|	Revert "Revert PMP's fix of #2498, which introduces an incompatibility with l...	Pierre-Marie Pédrot	2015-12-15
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-12-15
\|\\|
\| *	Revert PMP's fix of #2498, which introduces an incompatibility with lablgtk	Maxime Dénès	2015-12-14
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-11-26
\|\\|
\| *	Heuristic to check the version of lablgtk2 in configure.ml.	Pierre-Marie Pédrot	2015-11-25
\| *	Checking lablgtk version in configure. Fix bug #4423.	Pierre-Marie Pédrot	2015-11-25
\| *	Update version numbers and magic numbers for 8.5beta3 release.	Maxime Dénès	2015-11-05
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-29
\|\\|
\| *	Seeing configure as a static resolution of path continued (not yet on windows).	Hugo Herbelin	2015-10-28
\| *	Seeing configure as a static resolution of path, hence hardwiring long	Hugo Herbelin	2015-10-26
\| *	Fixing bugs in options of the configure.	Hugo Herbelin	2015-10-26
\| *	Preventing using OCaml 4.02.0 for compiling Coq as compilation times	Hugo Herbelin	2015-10-26
* \|	Merge branch 'v8.5' into trunk	Maxime Dénès	2015-09-17
\|\\|
\| *	Disable native_compute on Windows by default.	Maxime Dénès	2015-09-16
\| *	In configure: -no-native-compiler -> -native-compiler no	Maxime Dénès	2015-09-16
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-22
\|\\|
\| *	Remove duplicate code.	Guillaume Melquiond	2015-08-17
\| *	Remove generatable documentation files from repository. (Fix bug #4315)	Guillaume Melquiond	2015-08-17
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-18
\|\\|
\| *	Use the same optimization level for the VM, whatever the debug level.	Guillaume Melquiond	2015-07-08
* \|	All invocations to ocaml compilers go through ocamlfind	Pierre Boutillier	2015-06-22
* \|	Merge v8.5 into trunk	Hugo Herbelin	2015-05-15
\|\\|
\| *	Disable precompilation for native_compute by default.	Guillaume Melquiond	2015-05-14
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-05-05
\|\\|
\| *	Compile the VM code with some optimizations (+130% speedup).	Guillaume Melquiond	2015-04-27
\| *	Change magic numbers.	Matthieu Sozeau	2015-04-20
\| *	8.5beta2 release.	Matthieu Sozeau	2015-04-17
\| *	configure: fix paths on cygwin	Enrico Tassi	2015-04-16
* \|	Merge branch 'v8.5' into trunk	Enrico Tassi	2015-03-30
\|\\|
\| *	add coqdep in distributed_exec, else make does not work.	Benjamin Gregoire	2015-03-26
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-03-04
\|\\|
\| *	Improving display of camlp4/camlp5 versions, library and binary locations.	Hugo Herbelin	2015-03-03
\| *	Reinstalling search of camlpX in camldir, when given, for	Hugo Herbelin	2015-03-03
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-02-26
\|\\|
\| *	Trying to fix code locating camlp4/camlp5.	Maxime Dénès	2015-02-26
\| *	Not building the doc by default.	Maxime Dénès	2015-02-25
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-02-15
\|\\|
\| *	Fixup version & copyright for MacOS bundle	Pierre Boutillier	2015-02-13
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-02-13
\|\\|
\| *	Win: use .exe extension for the ocaml compiler (Close 3572)	Enrico Tassi	2015-02-11
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-02-10
\|\\|
\| *	Detecting automatically whether .opt versions of ocaml executables exist;	Hugo Herbelin	2015-02-04
* \|	Revert "Bump version and magic numbers in configure."	Maxime Dénès	2015-01-15
\|/
*	Bump version and magic numbers in configure.	Maxime Dénès	2015-01-13