coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
* \|	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
\| *	update XML protocol doc to 8.6	Paul Steckler	2017-04-13
\| *	add XML protocol doc for 8.5	Paul Steckler	2017-04-13
* \|	Merge PR#441: Port Toplevel to the Stm API	Maxime Dénès	2017-04-12
\|\ \
\| * \|	[stm] Improve error messages on add/parse.	Emilio Jesus Gallego Arias	2017-04-12
\| * \|	[stm] Port the toplevel to the STM.	Emilio Jesus Gallego Arias	2017-04-12
\| * \|	[stm] Move main parsing entry point to the STM.	Emilio Jesus Gallego Arias	2017-04-12
* \| \|	Merge PR#422: Supporting all kinds of binders, including 'pat, in syntax of r...	Maxime Dénès	2017-04-12
\|\ \ \ \| \|/ / \|/\| \|
* \| \|	Adding a documentation for the new proof engine.	Pierre-Marie Pédrot	2017-04-06
* \| \|	Documenting main changes of API.	Hugo Herbelin	2017-03-24
\| * \|	Improving the API of constrexpr_ops.mli.	Hugo Herbelin	2017-03-23
\|/ /
* \|	Merge PR#493: [safe-string] update dev/doc/changes	Maxime Dénès	2017-03-22
\|\ \
* \| \|	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[safe-string] update dev/doc/changes	Emilio Jesus Gallego Arias	2017-03-21
\|/ /
* \|	Merge PR#267: Proposal for an update of the recommended style in programming ...	Maxime Dénès	2017-03-15
\|\ \