coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge remote-tracking branch 'origin/v8.5' into trunk	Guillaume Melquiond	2016-01-06
\|\
\| *	Avoid warning 31: test printer was linked twice with Dynlink and Str.	Maxime Dénès	2016-01-05
\| *	Fix order of files in mllib.	Maxime Dénès	2016-01-05
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-12-08
\|\\|
\| *	Fixing a minor problem in Makefile.build that was prevening "dev/printers.cma...	Matej Kosik	2015-12-07
* \|	Making output of target source-doc a bit less verbose.	Hugo Herbelin	2015-12-05
* \|	Ensuring that documentation of mli code works in the presence of utf-8	Hugo Herbelin	2015-12-05
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-12-03
\|\\|
\| *	Adding a target report to test-suite's Makefile to get a short summary.	Hugo Herbelin	2015-12-02
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-02
\|\\|
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-02
\|\ \
\| \| *	Universes: enforce Set <= i for all Type occurrences.	Matthieu Sozeau	2015-10-02
\| \|/
\| *	Build the compatibility files.	Guillaume Melquiond	2015-09-30
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-25
\|\\|
\| *	Updating the documentation and the toolchain w.r.t. the change in -compile.	Pierre-Marie Pédrot	2015-09-25
\| *	Revert changes in Makefile.build done as part of 2bc88f9a.	Maxime Dénès	2015-09-17
\| *	Univs: Add universe binding lists to definitions	Matthieu Sozeau	2015-09-14
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-06
\|\\|
\| *	Adding a Makefile target for the MSets and MMaps directories.	Pierre-Marie Pédrot	2015-09-06
* \|	Fixing generation of dev/printers.mllib.d after ocamllibdep is used (48d611ff...	Hugo Herbelin	2015-08-29
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-27
\|\\|
\| *	Silence `which`	Jason Gross	2015-07-23
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-18
\|\\|
\| *	Updating checksum in checker (9c732a5cc continued).	Hugo Herbelin	2015-07-12
* \|	Merge branch 'v8.5' into trunk	Maxime Dénès	2015-07-02
\|\\|
\| *	Revert "Add target to install dev files."	Maxime Dénès	2015-07-02
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-06-28
\|\\|
\| *	Add target to install dev files.	Matthieu Sozeau	2015-06-26
\| *	Adding a more efficient representation of OCaml objects in votour.	Pierre-Marie Pédrot	2015-06-25
\| *	More silent Makefile when looking for codesign.	Maxime Dénès	2015-06-24
* \|	All invocations to ocaml compilers go through ocamlfind	Pierre Boutillier	2015-06-22
* \|	Merge v8.5 into trunk	Hugo Herbelin	2015-05-15
\|\\|
\| *	Disable precompilation for native_compute by default.	Guillaume Melquiond	2015-05-14
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-04-15
\|\\|
\| *	Fix compilation broken by Matthieu's last commit.	Pierre Letouzey	2015-04-10
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-03-23
\|\\|
\| *	Fix Bug 3548 - Makefile should fallback gracefully in the absence of codesign	Pierre Boutillier	2015-03-14
* \|	Adding a new folder corresponding to the low-level part of the pretyper	Pierre-Marie Pédrot	2015-02-27
* \|	Using home-made ocamllibdep rather than coqdep_boot.	Hugo Herbelin	2015-02-16
* \|	Restricting the need for coqdep_boot to mllib.d files (since ocaml	Hugo Herbelin	2015-02-16
\|/
*	Fixup version & copyright for MacOS bundle	Pierre Boutillier	2015-02-13
*	Revert "Using same code for browsing physical directories in coqtop and coqdep."	Hugo Herbelin	2015-02-12
*	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-12
*	Always build (even when -coqide no) and install idetoploop	Pierre Boutillier	2015-01-15
*	Makefile: install ide/*lang	Enrico Tassi	2015-01-14
*	typo in coqide compilation rules after -thread requirement	Pierre Boutillier	2015-01-12
*	Fixing Makefile so that it puts the -thread flag on the right place.	Pierre-Marie Pédrot	2014-12-17
*	Revert and correctly fix "#4843 part 2 : The .cmxs files for plugins must hav...	Pierre Boutillier	2014-12-17
*	Proper thread-safe implementation for Exninfo.	Pierre-Marie Pédrot	2014-12-16
*	#4843 part 2 : The .cmxs files for plug-ins must have execute permission	Pierre Boutillier	2014-12-12