coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	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
\| * \|	Make Obligations see fix_exn	Enrico Tassi	2017-02-15
\| * \|	[stm] Remove unused legacy stm interface.	Emilio Jesus Gallego Arias	2017-02-15
\| * \|	[stm] Reenable Show Script command.	Emilio Jesus Gallego Arias	2017-02-15
\| * \|	[stm] Break stm/toplevel dependency loop.	Emilio Jesus Gallego Arias	2017-02-15
* \| \|	Merge branch 'master'.	Pierre-Marie Pédrot	2017-02-14
\|\\| \|
* \| \|	Moving printing code from Evd to Termops.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Evar-normalizing functions now act on EConstrs.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Removing various compatibility layers of tactics.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Removing some return type compatibility layers in Termops.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Tactics API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Evarconv API using EConstr.	Pierre-Marie Pédrot	2017-02-14
* \| \|	Reductionops API using EConstr.	Pierre-Marie Pédrot	2017-02-14
\| * \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-02-01
\| \|\\|
\| \| *	Fix a typo in STM universe communications.	Maxime Dénès	2017-01-30
\| * \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-01-19
\| \|\\|
\| \| *	STM: fix run-time classification of VernacInstance (fix #5313)	Enrico Tassi	2017-01-17