coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Add a way to get the right fix_exn in external vernacular commands	Matthieu Sozeau	2015-10-30
*	STM: Added functions for saving and restoring the internal state	Alec Faithfull	2015-10-09
*	STM: Pass exception information to unreachable_state_hook functions	Alec Faithfull	2015-10-09
*	STM: for PIDE based UIs, edit_at requires no Reach.known_state	Enrico Tassi	2015-10-08
*	Hook when state arrives on master.	Enrico Tassi	2015-01-07
*	rename: vi -> vio	Enrico Tassi	2015-01-06
*	STM: simplify state management	Enrico Tassi	2014-12-17
*	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot	2014-12-16
*	STM: hook called whenever a state is unreachable	Enrico Tassi	2014-11-27
*	AsyncTaskQueue: parsin can also happen in the workers now	Enrico Tassi	2014-11-27
*	STM: new API async_query	Enrico Tassi	2014-11-27
*	STM: put hooks in key events to let plugins customize the feedback	Enrico Tassi	2014-11-27
*	STM: code refactoring	Enrico Tassi	2014-11-03
*	Feedback message: hold extra info to help routing	Enrico Tassi	2014-10-31
*	STM: new worker for queries	Enrico Tassi	2014-10-31
*	STM: primitives to snapshot a .vi while in interactive mode	Enrico Tassi	2014-10-13
*	library/opaqueTables: enable their use in interactive mode	Enrico Tassi	2014-10-13
*	XML pretty printing for AST (work by François Poulain, project DoCoq)	Enrico Tassi	2014-09-29
*	STM: new "par:" goal selector, like "all:" but in parallel	Enrico Tassi	2014-08-05
*	STM: code restructured to reuse task queue for tactics	Enrico Tassi	2014-08-05
*	STM: VtQuery holds the id of the state it refers to	Carst Tankink	2014-08-04
*	STM: add optionally takes the id of the new tip	Enrico Tassi	2014-07-11
*	STM: export the observe function (useful for pide)	Enrico Tassi	2014-07-11
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot	2014-04-25