coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
\|/
*	Merge PR#579: [flags] Deprecate is_silent/is_verbose in favor of single flag.	Maxime Dénès	2017-04-24
\|\
* \|	Remove VernacError	Gaetan Gilbert	2017-04-21
\| *	[flags] Deprecate is_silent/is_verbose in favor of single flag.	Emilio Jesus Gallego Arias	2017-04-21
\|/
*	Merge branch 'v8.6' into trunk	Maxime Dénès	2017-04-15
\|\
\| *	Fix anomaly when doing [all:Check _.] during a proof.	Gaetan Gilbert	2017-04-14
* \|	Silence a few OCaml warnings.	Guillaume Melquiond	2017-04-13
\| *	Merge PR#510: Correctly identify [Time Defined.] as a defined	Maxime Dénès	2017-04-12
\| \|\
* \| \	Merge PR#441: Port Toplevel to the Stm API	Maxime Dénès	2017-04-12
\|\ \ \
\| * \| \|	[toplevel] [stm] cleanup in module open	Emilio Jesus Gallego Arias	2017-04-12
\| * \| \|	[stm] [nit] Centralize compile-time debug flag.	Emilio Jesus Gallego Arias	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
\| * \| \|	[stm] Remove edit_id.	Emilio Jesus Gallego Arias	2017-04-12
\| * \| \|	[stm] remove process_error_hook	Emilio Jesus Gallego Arias	2017-04-07
\| * \| \|	[stm] remove tactic_being_run hook	Emilio Jesus Gallego Arias	2017-04-07
\| \| * \|	Fix a few programming pearls related to Time, Fail and Redirect.	Maxime Dénès	2017-04-06
* \| \| \|	Merge branch 'trunk' into pr379	Maxime Dénès	2017-04-04
\|\\| \| \|
\| * \| \|	Merge branch 'v8.6' into trunk	Maxime Dénès	2017-03-30
\| \|\\| \|
\| \| * \|	Run non-tactic comands without resilient_command	Tej Chajed	2017-03-29
* \| \| \|	Merge branch 'trunk' into pr379	Maxime Dénès	2017-03-24
\|\ \ \ \
\| \| * \| \|	[stm] Remove some obsolete vernacs/classification.	Emilio Jesus Gallego Arias	2017-03-24
\| \|/ / /
\| \| \| *	Correctly identify [Time Defined.] as a defined	Tej Chajed	2017-03-23
\| \| \|/
\| * \|	[xml] Restore protocol compatibility with 8.6.	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[stm] Add common toploop for workers.	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[pp] Remove uses of expensive string_of_ppcmds.	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[pp] [ide] Minor cleanups in pp code.	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
\| * \|	[future] Remove unused parameter greedy.	Emilio Jesus Gallego Arias	2017-03-14