coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[safe-string] Enable -safe-string !	Emilio Jesus Gallego Arias	2017-03-14
*	[META] [build] Install dlls to kernel/byterun	Emilio Jesus Gallego Arias	2017-03-10
*	Merge PR#399: Debug by default	Maxime Dénès	2017-02-27
\|\
\| *	Deprecate -debug flag.	Maxime Dénès	2017-02-20
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-01-19
\|\ \
\| * \|	Fix configure crash on some version strings of camlp5, e.g. "6.18-exp" (bug #...	Guillaume Melquiond	2017-01-12
\| \| *	Compile with debug information by default.	Maxime Dénès	2017-01-09
\| \|/ \|/\|
* \|	OCaml's -dtypes flag is deprecated and replaced by -annot.	Maxime Dénès	2017-01-09
* \|	Relax required OCaml to 4.02.1.	Maxime Dénès	2017-01-09
\| *	Fixing another inconsistency when looking for camlp5o when camlp5dir is given.	Hugo Herbelin	2017-01-04
* \|	Bump required OCaml version to 4.02.3.	Maxime Dénès	2016-12-19
\| *	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
\| *	Set version number to 8.6rc1.	Maxime Dénès	2016-12-07
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-18
\|\\|
\| *	Set version number to 8.6beta1.	Maxime Dénès	2016-11-14
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-12
\|\\|
\| *	Fix git recognition when in worktrees.	Théo Zimmermann	2016-10-12
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-02
\|\\|
\| *	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 remote-tracking branch 'v8.6' into trunk	Matej Kosik	2016-08-25
\|\\|
\| *	FIX: Coq version	Matej Kosik	2016-08-25
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-08-17
\|\\|
\| *	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
* \| \|	No more dev/printers.cma	Pierre Letouzey	2016-07-26
\|/ /
* \|	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