coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\|\ \ \
\| \| \| *	[toplevel] Remove long ago deprecated and NOOP options.	Emilio Jesus Gallego Arias	2017-07-27
\| \|_\|/ \|/\| \|
\| \| *	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
* \| \|	Merge PR #886: Fixing what was presumably a typo in the naming conventions file	Maxime Dénès	2017-07-26
\|\ \ \ \| \|_\|/ \|/\| \|
* \| \|	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
\| * \|	Fixing what was presumably a typo in the naming conventions file.	Hugo Herbelin	2017-07-16
* \| \|	Fix a typo in dev/changes.	Pierre-Marie Pédrot	2017-07-14
* \| \|	Document the changes in API brought by this series of patches.	Pierre-Marie Pédrot	2017-07-14
\|/ /
\| *	Makefile: fails if some .vo or .cm* file has no source	Pierre Letouzey	2017-07-05
\|/
*	[ide] Add route_id parameter to query call.	Emilio Jesus Gallego Arias	2017-06-18
*	Merge PR#749: Normalize deprecation notices of ./configure	Maxime Dénès	2017-06-14
\|\
* \	Merge PR#622: Change the default flag value for Refine.refine	Maxime Dénès	2017-06-14
\|\ \
\| * \|	Dualize the unsafe flag of refine into typecheck and make it mandatory.	Pierre-Marie Pédrot	2017-06-13
\| * \|	Documenting the change of default flag value of Refine.refine.	Pierre-Marie Pédrot	2017-06-13
\| \| *	Normalize deprecation notices of ./configure	Théo Zimmermann	2017-06-11
\| \|/
* /	Added support for a side effect on constants in reduction functions.	Thomas Sibut-Pinote	2017-06-04
\|/
*	Merge PR#696: Trunk+cleanup constr of global	Maxime Dénès	2017-06-01
\|\
* \|	Creating a module Nameops.Name extending module Names.Name.	Hugo Herbelin	2017-05-31
\| *	Cleanup: removal of constr_of_global.	Matthieu Sozeau	2017-05-29
\|/
*	Merge PR#512: [cleanup] Unify all calls to the error function.	Maxime Dénès	2017-05-29
\|\
\| *	[cleanup] Unify all calls to the error function.	Emilio Jesus Gallego Arias	2017-05-27
* \|	[coqlib] Move `Coqlib` to `library/`.	Emilio Jesus Gallego Arias	2017-05-27
\|/
*	Merge PR#637: Short cleaning of the interpretation path for constr_with_bindings	Maxime Dénès	2017-05-25
\|\
* \	Merge PR#481: [option] Remove support for non-synchronous options.	Maxime Dénès	2017-05-25
\|\ \
* \ \	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias	2017-05-24
\|\ \ \
\| \| * \|	[option] Remove support for non-synchronous options.	Emilio Jesus Gallego Arias	2017-05-24
\| \|/ /
\| \| *	Clarifying the interpretation path for the "constr_with_binding" argument.	Hugo Herbelin	2017-05-22
\| \|/
\| *	More consistent writing of de Bruijn.	Théo Zimmermann	2017-05-01
\| *	Fix for bug 5507. Mispelt de Bruijn.	Théo Zimmermann	2017-05-01
\| *	Document the API changes.	Pierre-Marie Pédrot	2017-04-27
* \|	[located] [doc] Improve docs for `CAst.ast`.	Emilio Jesus Gallego Arias	2017-04-25
* \|	[location] Document changes.	Emilio Jesus Gallego Arias	2017-04-25
\|/
*	Documenting EConstr for developpers.	Pierre-Marie Pédrot	2017-04-19
*	Merge branch 'v8.6' into trunk	Maxime Dénès	2017-04-15
\|\
\| *	Fix EOL characters in xml protocol documentation.	Maxime Dénès	2017-04-14