coq - the Coq proof assistant

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