coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Removing spurious folder includes in coq_makefile.	Pierre-Marie Pédrot	2017-02-17
*	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias	2017-02-15
*	Properly remove aux files in subdirectories (bug #5089).	Erik Martin-Dorel	2017-01-13
*	Remove spurious spaces in merlin file generated by coq_makefile (bug #5213).	Guillaume Melquiond	2016-11-21
*	Allow `STDTIME=foo make`	Jason Gross	2016-07-19
*	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-07-07
\|\
* \|	Revert "Merge remote-tracking branch 'github/pr/229' into trunk"	Maxime Dénès	2016-07-05
\| *	Pass .v files to coqc in Makefile produced by coq_makefile (bug #4896).	Guillaume Melquiond	2016-07-05
* \|	coq_makefile : do not build bytecode versions of plugins by default	Pierre Letouzey	2016-06-29
* \|	Fix off-by-1 bug in coq_makefile	Matthieu Sozeau	2016-06-27
* \|	Makefile: compat5* moved in grammar/, less -I given to camlp4o	Pierre Letouzey	2016-06-21
* \|	Merge branch "LtacProf for trunk" (PR #165).	Pierre-Marie Pédrot	2016-06-14
\|\ \
* \| \|	coq_makefile: oups, a missing ; in my previous commit	Pierre Letouzey	2016-06-10
* \| \|	coq_makefile: short display of COQC and COQDEP (follow-up of e9c57a3)	Pierre Letouzey	2016-06-10
* \| \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-06-09
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	coq_makefile: fix a crucial typo in e9c57a3	Pierre Letouzey	2016-06-08
\| * \|	Do not use COQLIBS for the validate rule produced by coq_makefile (bug #4693).	Guillaume Melquiond	2016-06-07
* \| \|	Coq_makefile: code cleanup (less long lines, etc)	Pierre Letouzey	2016-06-07
* \| \|	coq_makefile: List.iteri is now standard since OCaml 4.00	Pierre Letouzey	2016-06-07
* \| \|	coq_makefile : short display of commands executed by make	Pierre Letouzey	2016-06-07
* \| \|	coq_makefile: add some -ml-synonym to the ocamldep rules	Pierre Letouzey	2016-06-07
\| \| *	LtacProf for Coq trunk	Jason Gross	2016-06-05
\| \|/ \|/\|
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-03-30
\|\\|
\| *	use printf instead of sequenced calls to print.	Gregory Malecha	2016-03-24
\| *	add a .merlin target to the makefile	Gregory Malecha	2016-03-24
* \|	Creating a dedicated ltac/ folder for Hightactics.	Pierre-Marie Pédrot	2016-03-21
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-29
\|\\|
\| *	Tentative fix for bug #4522: Incorrect "Warning..." on windows.	Pierre-Marie Pédrot	2016-01-24
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Merge branch 'v8.5' into trunk	Maxime Dénès	2015-09-17
\|\\|
\| *	Change coq_makefile's default from "-Q . Top" to "-R . Top". (Fix bug #3603)	Guillaume Melquiond	2015-09-16
* \|	Coq_makefile: read TIMED and TIMECMD from environment.	Maxime Dénès	2015-09-13
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-06
\|\\|
\| *	Missing argument "-c" for coqdep in coq_makefile	mlasson	2015-09-03
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-05
\|\\|
\| *	Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.	Guillaume Melquiond	2015-07-30
* \|	All invocations to ocaml compilers go through ocamlfind	Pierre Boutillier	2015-06-22
* \|	Merge v8.5 into trunk	Hugo Herbelin	2015-05-15
\|\\|
\| *	Do not regenerate .d files when cleaning them. (Fix bug #4079)	Guillaume Melquiond	2015-05-14
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-05-05
\|\\|
\| *	Remove some spurious spaces in generated Makefiles.	Guillaume Melquiond	2015-04-22
* \|	Merge branch 'v8.5' into trunk	Enrico Tassi	2015-03-30
\|\\|
\| *	coq_makefile: fix compilation with camlp4	Enrico Tassi	2015-03-30
\| *	Properly handle extra "clean" targets with coq_makefile.	Guillaume Melquiond	2015-03-27
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-03-23
\|\\|
\| *	End of Bug 3986 - make cleanall removes .*.aux files	Pierre Boutillier	2015-03-14
\| *	Bug 3981 ends to convice me that subdirs in coq_makefile deverse a warning	Pierre Boutillier	2015-03-14
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-03-04
\|\\|
\| *	Coq_makefile clean target erases .coq-native dirs in . if they are empty	Pierre Boutillier	2015-02-28