coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Mention tclINDEPENDENTL (#349) in dev/doc/changes.	Théo Zimmermann	2017-08-16
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
*	[API] Remove `open API` in ml files in favor of `-open API` flag.	Emilio Jesus Gallego Arias	2017-07-17
*	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
*	[ide] Add route_id parameter to query call.	Emilio Jesus Gallego Arias	2017-06-18
*	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
\| \|/
\| *	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
\|/
*	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
\|\ \ \| \|/ \|/\|
* \|	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#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
\| \|\ \ \
\| \| \| \| *	(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
\| \|/ /
\| \| *	(v8.6) Add example in dev/doc/changes involving Tacmach.project	Jason Gross	2016-11-21
\| \|/
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-18
\|\\|
\| *	[doc] Mention XML protocol on changes.	Emilio Jesus Gallego Arias	2016-11-16
* \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-10-24
\|\\|
\| *	[search] Don't build intermediate lists in search.	Emilio Jesus Gallego Arias	2016-10-20
* \|	COMMENTS: dev/doc/changes.txt	Matej Kosik	2016-10-20