coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[stm] Switch to a functional API	Emilio Jesus Gallego Arias	2017-10-06
*	[stm] [flags] Move document mode flags to the STM.	Emilio Jesus Gallego Arias	2017-10-06
*	Merge PR #1096: [stm] Warn about costly Undo operations in batch mode [BZ#5677]	Maxime Dénès	2017-10-04
\|\
* \	Merge PR #1105: [stm] Remove unused "Proof using" data in `Sync` tags.	Maxime Dénès	2017-10-03
\|\ \
* \ \	Merge PR #1019: Fix BZ#5655 by avoiding the creation of a cleaner thread for ...	Maxime Dénès	2017-10-03
\|\ \ \
* \| \| \|	[vernac] Remove `Qed exporting` syntax.	Emilio Jesus Gallego Arias	2017-09-29
\| \| \| *	[stm] Warn about costly Undo operations in batch mode [BZ#5677]	Emilio Jesus Gallego Arias	2017-09-27
\| \|_\|/ \|/\| \|
\| \| *	[stm] Remove unused "Proof using" data in `Sync` tags.	Emilio Jesus Gallego Arias	2017-09-27
\| \|/ \|/\|
* \|	Remove STM vernaculars.	Maxime Dénès	2017-09-19
* \|	Add XML protocol support for Wait.	Maxime Dénès	2017-09-19
* \|	In stm, fixing a typo about flushing debugging messages.	Hugo Herbelin	2017-09-11
\| *	Fix BZ#5655 by avoiding the creation of a cleaner thread for empty queues.	Maxime Dénès	2017-09-07
\|/
*	Merge PR #775: [toplevel] Remove long ago deprecated and NOOP options.	Maxime Dénès	2017-08-01
\|\
\| *	[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
\|/
*	Removing a use of AUContext.instance in the STM.	Pierre-Marie Pédrot	2017-07-13
*	Safer API for Global.body_of_constant and variants.	Pierre-Marie Pédrot	2017-07-13
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Merge PR#821: [vernac] Remove stale bool parameter from `VernacStartTheoremPr...	Maxime Dénès	2017-06-23
\|\
* \	Merge PR#815: STM: par: report no error to UIs in non-solve mode	Maxime Dénès	2017-06-23
\|\ \
\| \| *	[vernac] Remove stale bool parameter from `VernacStartTheoremProof`	Emilio Jesus Gallego Arias	2017-06-21
* \| \|	[stm] Fix route setting on VtQuery	Emilio Jesus Gallego Arias	2017-06-20
\| \|/ \|/\|
\| *	STM: par: report no error to UIs in non-solve mode	Enrico Tassi	2017-06-20
* \|	Merge PR#774: [ide] Add route_id parameter to query call.	Maxime Dénès	2017-06-20
\|\ \
\| * \|	[ide] Add route_id parameter to query call.	Emilio Jesus Gallego Arias	2017-06-18
\| \|/
* /	Fix bugs and add an option for cumulativity	Amin Timany	2017-06-16
\|/
*	Merge PR#748: [stm] More fixes for nested commands [bugzilla 5589]	Maxime Dénès	2017-06-15
\|\
* \|	[proof] Deprecate redundant wrappers.	Emilio Jesus Gallego Arias	2017-06-11
\| *	[stm] More fixes for nested commands [bugzilla 5589]	Emilio Jesus Gallego Arias	2017-06-07
\|/
*	Merge PR#717: [proof] Deprecate "proof mode" API	Maxime Dénès	2017-06-07
\|\
* \|	Remove the Sigma (monotonous state) API.	Maxime Dénès	2017-06-06
* \|	Merge PR#716: Don't double up on periods in anomalies	Maxime Dénès	2017-06-06
\|\ \
* \| \|	[stm] Solve bug 5577 "STM branch name is incorrect with Time"	Emilio Jesus Gallego Arias	2017-06-03
\| * \|	Drop '.' from CErrors.anomaly, insert it in args	Jason Gross	2017-06-02
\|/ /
* \|	[emacs] [toplevel] Make emacs flag local to the toplevel.	Emilio Jesus Gallego Arias	2017-06-01
\| *	[proof] Deprecate "proof mode" API	Emilio Jesus Gallego Arias	2017-05-31
\|/
*	Merge PR#690: [stm] Uniformize `Sideff / Sideff.	Maxime Dénès	2017-05-29
\|\
\| *	[stm] Rename Side-Effect type.	Emilio Jesus Gallego Arias	2017-05-27
* \|	[cleanup] Unify all calls to the error function.	Emilio Jesus Gallego Arias	2017-05-27
\| *	[stm] Uniformize `Sideff / Sideff.	Emilio Jesus Gallego Arias	2017-05-27
\|/
*	Merge PR#645: [stm] Tweak debug options.	Maxime Dénès	2017-05-25
\|\
* \	Merge branch 'trunk' into located_switch	Emilio Jesus Gallego Arias	2017-05-24
\|\ \
\| \| *	[stm] Tweak debug options.	Emilio Jesus Gallego Arias	2017-05-18
\| \|/
\| *	Fix 4.04 warnings	Gaetan Gilbert	2017-04-27
\| *	Remove unused [open] statements	Gaetan Gilbert	2017-04-27
\| *	Remove unused constructors	Gaetan Gilbert	2017-04-27
\| *	Remove some unused values and types	Gaetan Gilbert	2017-04-27
\| *	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
* \|	[location] Make location optional in Loc.located	Emilio Jesus Gallego Arias	2017-04-25
* \|	[location] Remove Loc.ghost.	Emilio Jesus Gallego Arias	2017-04-25
\|/