coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Checker: no more -I kernel via a few symlinks (for Names and Esubst)	Pierre Letouzey	2016-05-31
*	Creating a dedicated ltac/ folder for Hightactics.	Pierre-Marie Pédrot	2016-03-21
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	MMaps: remove it from final 8.5 release, since this new library isn't mature ...	Pierre Letouzey	2016-01-13
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-02
\|\\|
\| *	Build the compatibility files.	Guillaume Melquiond	2015-09-30
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-22
\|\\|
\| *	Remove generatable documentation files from repository. (Fix bug #4315)	Guillaume Melquiond	2015-08-17
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-05
\|\\|
\| *	Improve the table of content of the reference manual.	Guillaume Melquiond	2015-07-31
* \|	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
\| *	Introducing MMaps, a modernized FMaps.	Pierre Letouzey	2015-03-04
* \|	Introducing MMaps, a modernized FMaps.	Pierre Letouzey	2015-03-04
* \|	Adding a new folder corresponding to the low-level part of the pretyper	Pierre-Marie Pédrot	2015-02-27
* \|	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin	2015-02-16
* \|	Using home-made ocamllibdep rather than coqdep_boot.	Hugo Herbelin	2015-02-16
\|/
*	Makefile: in byte we can always dynlink	Enrico Tassi	2015-02-14
*	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
*	Avoiding introducing yet another convention in naming files.	Hugo Herbelin	2015-01-08
*	Fix some documentation typos.	Guillaume Melquiond	2015-01-06
*	Install .v and .glob files too	Enrico Tassi	2014-12-19
*	STM: reorganize code and file names	Enrico Tassi	2014-10-31
*	No need anymore for referring to xml directory in MLINCLUDES.	Hugo Herbelin	2014-10-09
*	Removing the documentation of the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	Removing the XML plugin.	Pierre-Marie Pédrot	2014-09-08
*	Make CoqIDE compile with windows (Closes: 3573)	Enrico Tassi	2014-09-04
*	coqworkmgr	Enrico Tassi	2014-09-02
*	Configure.ml creates metadata to annotate MacOS binaries	Pierre Boutillier	2014-08-26
*	STM: new "par:" goal selector, like "all:" but in parallel	Enrico Tassi	2014-08-05
*	Forgot to add a Universes.v.tex as a target.	Matthieu Sozeau	2014-07-24
*	fixup fakeide test-suite	Pierre Boutillier	2014-07-24
*	A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle	Pierre Boutillier	2014-07-22
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	cut toploop(s) out of coqtop: now they are loaded dynamically	Enrico Tassi	2014-06-25
*	Fix install target in Makefile after 6acf543800fe176ca7d47ef7165ebc14588efb6f.	Maxime Dénès	2014-05-05
*	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot	2014-04-25
*	Revert "Makefile: the initial build of grammar.cma is now directory-driven"	Pierre Letouzey	2014-03-24
*	Compiling coqc in "tools" target.	Pierre-Marie Pédrot	2014-03-07
*	Makefile: the initial build of grammar.cma is now directory-driven	Pierre Letouzey	2014-03-02
*	Fix coqide build under MacOS	Pierre Boutillier	2014-02-24
*	Spawn: managed processes	Enrico Tassi	2014-01-26
*	refman: fist stab at Asynchronous Proofs	Enrico Tassi	2014-01-05
*	A few fixes to the build system (mostly for ocamlbuild)	Pierre Letouzey	2013-12-16
*	Documentation of the Derive plugin.	Arnaud Spiwack	2013-12-04
*	Derive plugin.	Arnaud Spiwack	2013-12-04
*	First stab at documenting Canonical Structures	Enrico Tassi	2013-11-29