coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fixing dependency order of plugins.	Hugo Herbelin	2017-03-09
*	Ltac as a plugin.	Pierre-Marie Pédrot	2017-02-17
*	[cosmetic] Reorder makefile as suggested by @herbelin	Emilio Jesus Gallego Arias	2017-02-15
*	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias	2017-02-15
*	Revert "Merge remote-tracking branch 'github/pr/229' into trunk"	Maxime Dénès	2016-07-05
*	Makefile: $(BEST) controls which coqtop is used to build .vo	Pierre Letouzey	2016-06-29
*	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey	2016-06-29
*	Makefile.install: fix the install of plugin cmi	Pierre Letouzey	2016-06-24
*	Makefile: compat5* moved in grammar/, less -I given to camlp4o	Pierre Letouzey	2016-06-21
*	Fix Makefile after ssrmatching merge	Enrico Tassi	2016-06-16
*	Merge remote-tracking branch 'origin/pr/146' into trunk	Enrico Tassi	2016-06-14
\|\
* \|	Compilation via pack for plugins of the stdlib	Pierre Letouzey	2016-06-08
* \|	Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}	Pierre Letouzey	2016-06-08
* \|	Makefile.common: update PRIVATEBINARIES to repair the build on MACOS	Pierre Letouzey	2016-06-02
* \|	Makefile.common : avoid warnings about files linked twice	Pierre Letouzey	2016-06-01
* \|	Yet another Makefile reform : a unique phase without nasty make tricks	Pierre Letouzey	2016-06-01
* \|	Makefile: restore the use of coqdep_boot for creating .v.d files	Pierre Letouzey	2016-06-01
* \|	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
\| *	Ssreflect pattern matching facilities	Enrico Tassi	2016-03-02
\|/
*	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