coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Makefile.build: "make;make" should redo nothing	Pierre Letouzey	2016-06-22
*	Makefile: compat5* moved in grammar/, less -I given to camlp4o	Pierre Letouzey	2016-06-21
*	Makefile.build: ensure a build failure in case of a missing rule	Pierre Letouzey	2016-06-15
*	Repair the build of ide/coqidetop.cmxs (fix #4812)	Pierre Letouzey	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: avoid overwriting test.ml when testing grammar.cma	Pierre Letouzey	2016-06-08
*	Removing the Q_constr file.	Pierre-Marie Pédrot	2016-06-05
*	Move ide serialization libraries from lib/ to ide/	Emilio Jesus Gallego Arias	2016-06-02
*	Makefile.build: clean a bit the way MacOS binaries are signed	Pierre Letouzey	2016-06-02
*	Makefile.build : follow-up of previous commit	Pierre Letouzey	2016-06-01
*	Makefile.build : improved rules about .cm(x)a	Pierre Letouzey	2016-06-01
*	Makefile.build : update the otags rule	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
*	Revert "Adding a target for beautification."	Hugo Herbelin	2016-04-27
*	Revert "Adding a target check-beautify for testing reparsability of"	Hugo Herbelin	2016-04-27
*	Revert "Add plugins to Makefile."	Hugo Herbelin	2016-04-27
*	Revert "Re-add -beautify by default."	Hugo Herbelin	2016-04-27
*	Revert "Revert "Re-add -beautify by default.""	Hugo Herbelin	2016-04-27
*	Revert "Re-add -beautify by default."	Hugo Herbelin	2016-04-27
*	Re-add -beautify by default.	Hugo Herbelin	2016-04-27
*	Add plugins to Makefile.	Hugo Herbelin	2016-04-27
*	Adding a target check-beautify for testing reparsability of	Hugo Herbelin	2016-04-27
*	Adding a target for beautification.	Hugo Herbelin	2016-04-27
*	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