coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Dead code in coqdep.	Hugo Herbelin	2017-05-15
*	Fix 4.04 warnings	Gaetan Gilbert	2017-04-27
*	Warning 29: non escaped end of line may be non portable	Gaetan Gilbert	2017-04-27
*	Remove some unused values and types	Gaetan Gilbert	2017-04-27
*	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
*	[camlpX] Enrico's changes to camlp4 removal.	Emilio Jesus Gallego Arias	2017-04-07
*	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-03-22
\|\
* \|	[xml] Restore protocol compatibility with 8.6.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Remove uses of expensive string_of_ppcmds.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Remove special tag type and handler from Pp.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Remove richpp from fake_ide.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[ide] Use "log via feedback".	Emilio Jesus Gallego Arias	2017-03-21
* \|	[misc] Remove warnings about String.set	Emilio Jesus Gallego Arias	2017-03-20
* \|	[safe-string] Enable -safe-string !	Emilio Jesus Gallego Arias	2017-03-14
* \|	[safe-string] tools	Emilio Jesus Gallego Arias	2017-03-14
\| *	Fix #5132: coq_makefile generates incorrect install goal	Vadim Zaliva	2017-03-14
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-02-22
\|\\|
* \|	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
\| *	fix Emacs compiler warning on '(lambda...)	Hendrik Tews	2017-02-06
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-01-19
\|\\|
\| *	Properly remove aux files in subdirectories (bug #5089).	Erik Martin-Dorel	2017-01-13
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-30
\|\\|
\| *	Remove spurious spaces in merlin file generated by coq_makefile (bug #5213).	Guillaume Melquiond	2016-11-21
\| *	Stop parsing -compat-notations options, which are no longer supported (bug #3...	Guillaume Melquiond	2016-11-21
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-18
\|\\|
\| *	Revert "fake_ide: use the now available Status XML message"	Maxime Dénès	2016-11-18
\| *	fake_ide: use the now available Status XML message	Enrico Tassi	2016-11-17
\| *	Fix #4837: ./configure -local makes coqdep issue many warnings	Maxime Dénès	2016-11-04
* \|	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
\|\ \ \