coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[make] remove compat5 file.	Emilio Jesus Gallego Arias	2017-07-27
*	Add timing scripts	Jason Gross	2017-07-11
*	plugins/ltac : avoid spurious .cmxs files	Pierre Letouzey	2017-06-15
*	BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)	Pierre Letouzey	2017-06-13
*	Merge PR#709: Bytecode compilation apart from 'make world', again	Maxime Dénès	2017-06-12
\|\
* \|	Makefile.common: remove an obsolete comment after PR#499	Pierre Letouzey	2017-06-09
* \|	Put all plugins behind an "API".	Matej Kosik	2017-06-07
* \|	Merge the ssr plugin.	Maxime Dénès	2017-06-06
* \|	drop vo.itarget files and compute the corresponding the corresponding values ...	Matej Kosik	2017-06-01
\| *	Makefile: $(BEST) controls which coqtop is used to build .vo	Pierre Letouzey	2017-05-30
\| *	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey	2017-05-30
\|/
*	Remove a forgotten rule for decl_mode from the Makefile.	Pierre-Marie Pédrot	2017-04-07
*	Merge PR#455: Farewell decl_mode	Maxime Dénès	2017-04-06
\|\
* \|	Fixing dependency order of plugins.	Hugo Herbelin	2017-03-09
\| *	Farewell decl_mode	Enrico Tassi	2017-03-07
\|/
*	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