coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Creating a dedicated ltac/ folder for Hightactics.	Pierre-Marie Pédrot	2016-03-21
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-03-09
\|\
\| *	Re-enable OCaml warnings disabled by mistake as part of e759333.	Maxime Dénès	2016-03-07
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.	Maxime Dénès	2016-01-15
\| *	MMaps: remove it from final 8.5 release, since this new library isn't mature ...	Pierre Letouzey	2016-01-13
* \|	merge	Matej Kosik	2016-01-11
\|\ \
\| * \|	CLEANUP: kernel/context.ml{,i}	Matej Kosik	2016-01-11
* \| \|	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