coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\|/
*	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
\| *	Fixing bug #4373: coqdep does not know about .vio files.	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
\| *	Minor edits in output of coqdep --help.	Maxime Dénès	2016-01-15
\| *	Fix #4408.	Pierre Courtieu	2016-01-15
\| *	Partially fixing #4408: coqdep --help is up to date.	Pierre Courtieu	2016-01-15
* \|	Remove deprecated command-line options such as "-as".	Guillaume Melquiond	2016-01-06
* \|	Merge remote-tracking branch 'origin/v8.5' into trunk	Guillaume Melquiond	2016-01-06
\|\\|
\| *	Disable warning 31 when generating coqtop from coqmktop.	Maxime Dénès	2016-01-05
* \|	Remove unused functions.	Guillaume Melquiond	2016-01-01
* \|	Remove useless recursive flags.	Guillaume Melquiond	2016-01-01
* \|	Remove some occurrences of Unix.opendir.	Guillaume Melquiond	2015-12-14
* \|	Simplify coqdep lexer by removing global references.	Guillaume Melquiond	2015-11-30
* \|	Merge remote-tracking branch 'origin/v8.5' into upstream-trunk	Hugo Herbelin	2015-11-07
\|\\|
\| *	Fixed #4407.	Pierre Courtieu	2015-11-06
\| *	Fixing #4406 coqdep: No recursive search of ml (-I).	Pierre Courtieu	2015-11-06
* \|	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