coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix git recognition when in worktrees.	Théo Zimmermann	2016-10-12
*	fix bug 3683 : adds references to the web site for the bug tracker	Yves Bertot	2016-09-29
*	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
\| * \|	Set required version of camlp5 to 6.06.	Maxime Dénès	2016-06-17
\|/ /
* \|	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
* \|	Officially discontinue the experimental coq build via ocamlbuild	Pierre Letouzey	2016-06-08
* \|	Update required OCaml version in configure.	Maxime Dénès	2016-05-26
* \|	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
* \|	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
\| *	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