coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-26
\|\
\| *	Support "Functional Scheme" in coqdoc. (Fix bug #4382)	Guillaume Melquiond	2015-10-23
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-02
\|\\|
\| *	Documenting how to support some special unicode characters in coqdoc	Hugo Herbelin	2015-09-26
\| *	Clarifying the doc of coqdoc --utf8 as discussed on coq-club on August 19, 2015.	Hugo Herbelin	2015-09-26
* \|	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
* \|	Fixing fake_ide.	Pierre-Marie Pédrot	2015-09-22
* \|	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-22
\|\\|
\| *	report the full module path when reporting errors in coqdep	Gregory Malecha	2015-08-13
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-05
\|\\|
\| *	Remove some outdated files and fix permissions.	Guillaume Melquiond	2015-07-31
\| *	Fix width of underscore in coq_tex output.	Guillaume Melquiond	2015-07-30
\| *	Fix broken regexp.	Guillaume Melquiond	2015-07-30
\| *	Remove unused variables.	Guillaume Melquiond	2015-07-30
\| *	Remove usage of Printexc.catch in the tools, as it is deprecated since 2001.	Guillaume Melquiond	2015-07-30
\| *	Make coq-tex more robust with respect to the (non-)command on the last line.	Guillaume Melquiond	2015-07-29
\| *	Remove empty commands from the output of coq-tex.	Guillaume Melquiond	2015-07-29
\| *	Rewrite the main loop of coq-tex.	Guillaume Melquiond	2015-07-29
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-29
\|\\|
\| *	Make coq-tex aware of lines ending with "}", so as to fix the FAQ.	Guillaume Melquiond	2015-07-28
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-27
\|\\|
\| *	Using maps and sets instead of lists in coqdep.	Pierre-Marie Pédrot	2015-07-24
\| *	Fixing bug #4265: "coqdep does not handle From ... Require" for good.	Pierre-Marie Pédrot	2015-07-24
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-18
\|\\|
\| *	Fix command-line documentation of coq-tex.	Guillaume Melquiond	2015-07-08
* \|	Merge branch 'v8.5' into trunk	Maxime Dénès	2015-07-06
\|\\|
\| *	Fixing bug #4265: coqdep does not handle From ... Require.	Pierre-Marie Pédrot	2015-07-03
* \|	Merge branch 'v8.5' into trunk	Maxime Dénès	2015-07-02
\|\\|
\| *	Removing dead code in coqdep.	Pierre-Marie Pédrot	2015-06-30
* \|	Merge remote-tracking branch 'forge/v8.5'	Pierre Boutillier	2015-06-22
\|\\|
* \|	All invocations to ocaml compilers go through ocamlfind	Pierre Boutillier	2015-06-22
\| *	Support CRLF end of line in fake_ide.	Guillaume Melquiond	2015-06-09
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-06-01
\|\\|
\| *	Test for 4159	Enrico Tassi	2015-05-28
\| *	Adding the -color option to coqc.	Pierre Courtieu	2015-05-18
* \|	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
\| *	Adding an option -w to control Coq warning output.	Pierre-Marie Pédrot	2015-05-14
\| *	Disable precompilation for native_compute by default.	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
\| *	Remove spurious ".v" from warning message.	Guillaume Melquiond	2015-04-20
* \|	Merge branch 'v8.5' into trunk	Pierre Letouzey	2015-04-09
\|\\|
\| *	Avoid outputting stray "Local" keywords in HTML documentation.	Guillaume Melquiond	2015-04-02