coq - the Coq proof assistant

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