coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Bump version number to 8.6.1.	Maxime Dénès	2017-06-26
\|
*	[configure] 'ocaml' is more precise than OCaml as we mean the binary.	Maxime Dénès	2017-06-23
\| \| \| \|	Fix suggested by Hugo.
*	ocaml -> OCaml in configure.ml.	Maxime Dénès	2017-06-23
\|
*	Merge PR#729: Fixing an inconsistency between configure and configure.ml	Maxime Dénès	2017-06-23
\|\
* \|	Ensure that warnings new from ocaml > 4.01 remains silent.	Hugo Herbelin	2017-06-04
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Indeed, 8.6 is announced to be compilable with 4.01.0 and it is convenient not seeing warnings about which nothing can be done. Remove deprecation warnings new from ocaml 4.03, as well as warning 52. This is a partial cherry-pick of a77734ad6.
\| *	Fixing an inconsistency between configure and configure.ml.	Hugo Herbelin	2017-06-04
\|/ \| \| \| \|	The shell script configure was assuming the existence of option -camldir which was removed in 333d41a9.
*	Fix configure crash on some version strings of camlp5, e.g. "6.18-exp" (bug ↵	Guillaume Melquiond	2017-01-12
\| \| \| \|	#5307).
*	Fixing another inconsistency when looking for camlp5o when camlp5dir is given.	Hugo Herbelin	2017-01-04
\| \| \| \|	This was not fixed by b9a15a390f yet.
*	Set version to 8.6 in configure.	Maxime Dénès	2016-12-08
\|
*	Commit bumping the version number was partial...	Maxime Dénès	2016-12-07
\| \| \| \| \|	The sad part of the story is that the script testing this version number is run after tagging by the coq-dev-tools Makefile... will fix that.
*	Set version number to 8.6rc1.	Maxime Dénès	2016-12-07
\|
*	Set version number to 8.6beta1.	Maxime Dénès	2016-11-14
\|
*	Fix git recognition when in worktrees.	Théo Zimmermann	2016-10-12
\| \| \| \| \|	git worktrees have a .git file instead of a .git directory. Using Sys.file_exists is a more general solution which gives true in both cases.
*	fix bug 3683 : adds references to the web site for the bug tracker	Yves Bertot	2016-09-29
\| \| \| \|	in error messages
*	FIX: Coq version	Matej Kosik	2016-08-25
\|
*	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-08-16
\|\
\| *	Use the "md5" command on OpenBSD (bug #5008).	Guillaume Melquiond	2016-08-11
\| \|
* \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-07-07
\|\\|
\| *	Fix typo in configure (noticed by Jason).	Maxime Dénès	2016-07-06
\| \|
\| *	Bump version number in preparation for 8.5pl2 release.	Maxime Dénès	2016-07-06
\| \|
\| *	Fix indentation of configure printout	Jason Gross	2016-07-06
\| \|
* \|	remove an old workaround for OCaml 3.11 + MacOS natdynlink	Pierre Letouzey	2016-06-24
\| \|
* \|	Merge remote-tracking branch 'github/pr/212' into trunk	Maxime Dénès	2016-06-20
\|\ \
* \| \|	Fix path separator on windows	Jason Gross	2016-06-18
\| \| \|
* \| \|	Fix the build on Windows	Jason Gross	2016-06-18
\| \| \| \| \| \| \| \| \| \| \| \|	This fixes bug #4828 (https://coq.inria.fr/bugs/show_bug.cgi?id=4828).
\| * \|	Set required version of camlp5 to 6.06.	Maxime Dénès	2016-06-17
\|/ / \| \| \| \| \| \| \| \|	It is already very old (shipped with Debian oldstable) and adds file name support in locations.
* \|	configure: use ln on linux and cp on windows	Enrico Tassi	2016-06-14
\| \|
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-06-09
\|\\|
\| *	New update on how to find camlp5 binary and library at configure time.	Hugo Herbelin	2016-06-09
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Renouncing to bypass the library path given by "camlp5o -where" what we assume to be the default library location, considering that -usecamlp5dir is here to deal with the non-standard installation layout. Renouncing to find camlp5 libraries in a subdirectory of the ocaml library directory since we now know that camlp5o is found and that we have a priori to trust option -where of camlp5o. Additionally falling back on looking for camlp4 if a camlp5 library is found but no camlp5 binary. Also using camlp5o as a reference since after all this is camlp5o that we need. In particular, this fixes situations where -usecamlp5dir is given but "camlp5o -where" contradicts it. If something has to be checked on windows, please tell.
* \|	Officially discontinue the experimental coq build via ocamlbuild	Pierre Letouzey	2016-06-08
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	It has been accidentaly broken since early 2014 (and especially in 8.5), no easy repair, I won't devote any more hours to this stuff. Moreover no one seems to care apart from Emilio, but he's ok to work on this in a separate repository or branch. I left a dev/doc/ocamlbuild.txt file with a few words about this experiment.
* \|	Update required OCaml version in configure.	Maxime Dénès	2016-05-26
\| \| \| \| \| \| \| \|	Follow-up on Hugo's 1412f9f9.
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-09
\|\\|
\| *	Fix typo in configure's option description.	Guillaume Melquiond	2016-05-09
\| \|
\| *	Use "md5 -q" on FreeBSD architectures (bug #4719).	Guillaume Melquiond	2016-05-09
\| \| \| \| \| \| \| \| \| \| \| \|	This patch also disables the -makecmd option and the corresponding test, since the value is not stored for future use. This prevents gratuitously failing to configure on FreeBSD.
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-05-02
\|\\|
\| *	One more word about checking 4.01.0 with -debug and camlp4.	Hugo Herbelin	2016-04-24
\| \|
* \|	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
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	This was only when compiling with Camlp4 and it was producing an assertion failure in asmcomp/emitaux.ml at line 226, reported as OCaml's bug #6243. Note: The issue of a problematic compilation with 4.01.0 was raised at last WG.
\| *	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 ↵	Pierre-Marie Pédrot	2015-12-15
\| \| \| \| \| \| \| \| \| \| \| \|	lablgtk" This reverts commit 469cb750c6c1aa46f77b2a89a36f79f29aa97073.
* \|	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
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	2.14. Debian ships with lablgtk 2.16 only since a few months, so we apply the fix to trunk instead. This reverts commits: 490160d25d3caac1d2ea5beebbbebc959b1b3832. ef8718a7fd3bcd960d954093d8c636525e6cc492. 6f9cc3aca5bb0e5684268a7283796a9272ed5f9d. 901a9b29adf507370732aeafbfea6718c1842f1b.
* \|	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
\| \| \| \| \| \| \| \| \| \|	When not using ocamlfind, we use a grep-based heuristic to check that lablgtk2 is recent enough. This is an extension of an already-used heuristic.
\| *	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
\|\\|