coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Surrounding a few places printing file names with quotes when a space occurs.	Hugo Herbelin	2017-11-23
*	Check findlib version in configure (fix #4270).	Gaëtan Gilbert	2017-11-20
*	Remove branch on caml version >= 3.10 from configure.	Gaëtan Gilbert	2017-11-19
*	Remove GeoProof support.	Maxime Dénès	2017-10-11
*	Merge PR #540: [configure] Support for flambda flags.	Maxime Dénès	2017-10-10
\|\
\| *	[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
* \|	Include leading zeros in version info	Tej Chajed	2017-10-09
\|/
*	coq_makefile: make sure compile flags for Coq and coq_makefile are in sync	Emilio Jesus Gallego Arias	2017-09-19
*	Bump MacOS version number and magic numbers.	Maxime Dénès	2017-09-01
*	Change version string to 8.8+alpha.	Maxime Dénès	2017-09-01
*	Merge PR #750: Remove deprecated options of ./configure in 8.8	Maxime Dénès	2017-07-26
\|\
* \|	Set version to 8.7+alpha.	Maxime Dénès	2017-07-13
\| *	Remove deprecated options from ./configure	Théo Zimmermann	2017-07-11
* \|	Set version to 8.7.0~alpha.	Maxime Dénès	2017-07-07
\|/
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-07-04
\|\
\| *	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
\| *	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
\| \|\
* \| \	Merge PR#749: Normalize deprecation notices of ./configure	Maxime Dénès	2017-06-14
\|\ \ \
* \| \| \|	Add support for "-bypass-API" argument of "coq_makefile"	Matej Košík	2017-06-12
\| * \| \|	Normalize deprecation notices of ./configure	Théo Zimmermann	2017-06-11
\|/ / /
\| * \|	Ensure that warnings new from ocaml > 4.01 remains silent.	Hugo Herbelin	2017-06-04
\| \| *	Fixing an inconsistency between configure and configure.ml.	Hugo Herbelin	2017-06-04
\| \|/
* \|	Merge PR#356: Making management of installation directories more structured, ...	Maxime Dénès	2017-05-30
\|\ \
\| * \|	Configuration with -local definitively seen as an installation layout like ot...	Hugo Herbelin	2017-05-29
\| * \|	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
\| * \|	Configure: viewing compilation in -local itself as an installation layout.	Hugo Herbelin	2017-05-29
\| * \|	Configuration: always giving a value to configdir and datadir.	Hugo Herbelin	2017-05-29
\| * \|	More structure and more code factorization in building default	Hugo Herbelin	2017-05-29
\| * \|	Unifying the layout of installation directories.	Hugo Herbelin	2017-05-29
\| * \|	Unified terminology in configure.ml/coq_config.ml: arch_win32 -> arch_is_win32.	Hugo Herbelin	2017-05-29
\| * \|	Mini-renaming in configure.ml to avoid switching back and forth from	Hugo Herbelin	2017-05-29
* \| \|	Fail on deprecated warning even for Ocaml > 4.02.3	Gaëtan Gilbert	2017-05-28
* \| \|	Don't disable deprecation warning for configure.ml	Gaëtan Gilbert	2017-05-28
\|/ /
* \|	configure: -local set coqdoc destination dir to ./doc rather than ""	Enrico Tassi	2017-05-23
* \|	Deprecate -nodoc.	Théo Zimmermann	2017-05-20
* \|	Enable more warnings, and add -warn-error configure flag	Gaetan Gilbert	2017-04-27
* \|	[camlpX] Enrico's changes to camlp4 removal.	Emilio Jesus Gallego Arias	2017-04-07
* \|	[camlpX] Remove camlp4 compat layer.	Emilio Jesus Gallego Arias	2017-04-07
* \|	[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