coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
\| *	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
* \|	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