coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
* \|	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
\|\ \
* \ \	Merge PR#432: [cleanup] Change Id.t option to Name.t in TacFun	Maxime Dénès	2017-03-14
\|\ \ \
* \| \| \|	Documenting the pluginification of Ltac.	Pierre-Marie Pédrot	2017-02-17
\| * \| \|	[cleanup] Change Id.t option to Name.t in TacFun	Tej Chajed	2017-02-16
\|/ / /
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-12-07
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	Merge remote-tracking branch 'github/pr/372' into v8.6	Maxime Dénès	2016-12-02
\| \|\ \
\| * \ \	Merge remote-tracking branch 'github/pr/368' into v8.6	Maxime Dénès	2016-12-02
\| \|\ \ \
\| * \ \ \	Merge remote-tracking branch 'github/pr/369' into v8.6	Maxime Dénès	2016-12-02
\| \|\ \ \ \
\| * \ \ \ \	Merge remote-tracking branch 'github/pr/371' into v8.6	Maxime Dénès	2016-12-02
\| \|\ \ \ \ \
* \| \| \| \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-30
\|\\| \| \| \| \| \|
\| * \| \| \| \| \|	Fix some documentation typos.	Guillaume Melquiond	2016-11-24
\| \| \| \| \| * \|	(v8.6) Update dev/doc/changes.txt with HintsResolveEntry changes	Jason Gross	2016-11-21
\| \| \|_\|_\|/ / \| \|/\| \| \| \|
\| \| * \| \| \|	(v8.6) Update dev/doc/changes with things about mem_named_context	Jason Gross	2016-11-21
\| \|/ / / /
\| \| * / /	(v8.6) Make a note about wit_constr and Constrarg in dev/doc/changes	Jason Gross	2016-11-21
\| \|/ / /