coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[ast] Improve precision of Ast location recognition in serialization.	Emilio Jesus Gallego Arias	2018-02-22
*	Merge PR #6771: [engine] Remove ghost parameter from `Proofview.Goal.t`	Maxime Dénès	2018-02-19
\|\
* \|	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle	2018-02-17
\| *	[engine] Remove ghost parameter from `Proofview.Goal.t`	Emilio Jesus Gallego Arias	2018-02-12
\|/
*	[stm] [toplevel] Make loadpath a parameter of the document.	Emilio Jesus Gallego Arias	2018-02-05
*	Merge PR #6629: Archive COMPATIBILITY	Maxime Dénès	2018-01-23
\|\
\| *	Archive COMPATIBILITY.	Théo Zimmermann	2018-01-22
* \|	Merge PR #6550: Remove outdated note about rlwrap in setup.txt	Maxime Dénès	2018-01-22
\|\ \ \| \|/ \|/\|
\| *	Stop talking about debian in "A note about rlwrap"	Gaëtan Gilbert	2018-01-08
* \|	Merge PR #6501: Document use of ocamldebug from the command line in Cygwin/Wi...	Maxime Dénès	2018-01-08
\|\ \ \| \|/ \|/\|
\| *	Add instructions for debugging from the command line (and in Windows)	Jim Fehrle	2017-12-29
* \|	[API] remove large file containing duplicate interfaces	Enrico Tassi	2017-12-27
* \|	[ide] [doc] Document tweak to Query call.	Emilio Jesus Gallego Arias	2017-12-26
\|/
*	Merge PR #6413: [econstr] Switch constrintern API to non-imperative style.	Maxime Dénès	2017-12-18
\|\
\| *	[econstr] Switch constrintern API to non-imperative style.	Emilio Jesus Gallego Arias	2017-12-15
* \|	Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.	Maxime Dénès	2017-12-14
\|\ \ \| \|/ \|/\|
\| *	[build] Remove coqmktop in favor of ocamlfind.	Emilio Jesus Gallego Arias	2017-12-10
* \|	[api] Remove yet another type alias.	Emilio Jesus Gallego Arias	2017-12-09
\| *	[lib] Rename Profile to CProfile	Emilio Jesus Gallego Arias	2017-12-09
\|/
*	[lib] [api] Introduce record for `object_prefix`	Emilio Jesus Gallego Arias	2017-11-29
*	Change OCAMLRUNPARAM warning to mention OCaml 4.06	Paul Steckler	2017-11-13
*	[api] Remove 8.7 ML-deprecated functions.	Emilio Jesus Gallego Arias	2017-11-07
*	Merge PR #6047: A generic printer for ltac values	Maxime Dénès	2017-11-03
\|\
* \	Merge PR #6027: Mention the migration from Bugzilla to GitHub issues in dev/d...	Maxime Dénès	2017-11-03
\|\ \
* \ \	Merge PR #6024: Update of Coq version history	Maxime Dénès	2017-11-03
\|\ \ \
\| \| \| *	Using a specific function to register vernac printers.	Hugo Herbelin	2017-11-02
\| \|_\|/ \|/\| \|
\| \| *	Mention the migration from Bugzilla to GitHub issues in dev/doc/changes.	Théo Zimmermann	2017-10-27
* \| \|	Passing around the flag for injection so that tactics calling inj at	Hugo Herbelin	2017-10-26
\| \|/ \|/\|
\| *	Updating version history wrt 8.7.	Hugo Herbelin	2017-10-26
\| *	Updating version history wrt 8.6.	Hugo Herbelin	2017-10-26
\| *	Updating version history wrt 8.5.	Hugo Herbelin	2017-10-26
\|/
*	[configure] Support for flambda flags.	Emilio Jesus Gallego Arias	2017-10-10
*	Extract changes to the XML protocol from its doc	Théo Zimmermann	2017-10-06
*	Make the XML protocol doc more version-independent	Théo Zimmermann	2017-10-06
*	Improve documentation of Status message.	Maxime Dénès	2017-09-19
*	Merge PR #939: [general] Merge parsing with highparsing, put toplevel at the ...	Maxime Dénès	2017-09-15
\|\
* \	Merge PR #962: Move dev/doc/changes to Markdown.	Maxime Dénès	2017-09-15
\|\ \
* \ \	Merge PR #999: For BZ#5688, mention hanging issue in ocamldebug and workaround	Maxime Dénès	2017-08-31
\|\ \ \
\| * \| \|	mention issue with OCAMLRUNPARAM and ocamldebug	Paul Steckler	2017-08-29
\| \| \| *	[general] Merge parsing with highparsing, put toplevel at the top of the link...	Emilio Jesus Gallego Arias	2017-08-29
\| \| \|/ \| \|/\|
* \| \|	Adapt debugging doc to configure/Makefile changes.	Théo Zimmermann	2017-08-29
* \| \|	Move debugging to Markdown.	Théo Zimmermann	2017-08-29
\|/ /
\| *	Move dev/doc/changes to Markdown.	Théo Zimmermann	2017-08-29
\|/
*	Merge PR #819: Cleanup old things	Maxime Dénès	2017-08-29
\|\
* \|	Mention tclINDEPENDENTL (#349) in dev/doc/changes.	Théo Zimmermann	2017-08-16
\| *	Remove obsolete files	Gaëtan Gilbert	2017-08-01
\| *	Add .v extension to dev/doc/notes-on-conversion	Gaëtan Gilbert	2017-08-01
\|/
*	Merge PR #775: [toplevel] Remove long ago deprecated and NOOP options.	Maxime Dénès	2017-08-01
\|\
* \	Merge PR #761: deprecate Pp.std_ppcmds type and promote Pp.t instead	Maxime Dénès	2017-07-31
\|\ \
* \ \	Merge PR #852: Makefile: fails if some .vo or .cm* file has no source	Maxime Dénès	2017-07-28
\|\ \ \