coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-02
\|\
\| *	coqc: recognize -profile-ltac-cutoff	Enrico Tassi	2016-09-30
* \|	Merge PR #244.	Pierre-Marie Pédrot	2016-09-08
\|\ \ \| \|/ \|/\|
* \|	Merge branch 'v8.5' into v8.6	Pierre-Marie Pédrot	2016-08-21
\|\ \
\| \| *	Make the user_err header an optional parameter.	Emilio Jesus Gallego Arias	2016-08-19
\| \|/ \|/\|
\| *	Output a break before a list only if there was an empty line (bug #4606).	Guillaume Melquiond	2016-08-16
* \|	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
* \|	Merge remote-tracking branch 'github/pr/229' into trunk	Maxime Dénès	2016-07-04
\|\ \
* \| \|	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey	2016-07-03
\| * \|	coq_makefile : do not build bytecode versions of plugins by default	Pierre Letouzey	2016-06-29
\| * \|	Makefile: no bytecode compilation in make world, see make byte instead	Pierre Letouzey	2016-06-29
\|/ /
* \|	Fix off-by-1 bug in coq_makefile	Matthieu Sozeau	2016-06-27
* \|	[feedback] Allow messages to carry a location.	Emilio Jesus Gallego Arias	2016-06-25
* \|	Makefile: compat5* moved in grammar/, less -I given to camlp4o	Pierre Letouzey	2016-06-21
* \|	ocamllibdep + coqdep : simpler deps concerning .mllib and .mlpack	Pierre Letouzey	2016-06-15
* \|	Merge remote-tracking branch 'origin/pr/166' into trunk	Enrico Tassi	2016-06-14
\|\ \
* \ \	Merge branch "LtacProf for trunk" (PR #165).	Pierre-Marie Pédrot	2016-06-14
\|\ \ \
* \ \ \	Merge branch 'pack-plugins'	Pierre Letouzey	2016-06-10
\|\ \ \ \
* \| \| \| \|	coq_makefile: oups, a missing ; in my previous commit	Pierre Letouzey	2016-06-10
\| * \| \| \|	coq_makefile: fix a crucial typo in e9c57a3	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
\| \| * \| \|	Compilation via pack for plugins of the stdlib	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
\| \| * \|	-profileltac -> -profile-ltac, as per @herbelin	Jason Gross	2016-06-05
\| \| * \|	LtacProf for Coq trunk	Jason Gross	2016-06-05
\| \|/ / \|/\| \|
* \| \|	Merge branch 'v8.5' into trunk	Guillaume Melquiond	2016-06-03
\|\\| \|
\| * \|	Fix proof terminators not being detected in presence of curly brackets (bug #...	Guillaume Melquiond	2016-06-03
\| * \|	Make "coqdoc -g --parse-comments" behave properly (bug #4773).	Guillaume Melquiond	2016-06-03
* \| \|	Encapsulate xml serialization in xmlprotocol.mli	Emilio Jesus Gallego Arias	2016-06-02
* \| \|	Merge branch 'yet-another-makefile-bigbang' into trunk	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
* \| \| \|	Feedback cleanup	Emilio Jesus Gallego Arias	2016-05-31
\|/ / /
\| \| *	coqc: support -o option to specify output file name	Enrico Tassi	2016-05-19
\| \|/ \|/\|
* \|	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
* \|	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