coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
...
*	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
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	lib/interface split into: - lib/feedback subscribe-based feedback bus (also used by coqidetop) - ide/interface definition of coqide protocol messages lib/pp structured info/err/warn messages lib/serialize split into: - lib/serialize generic xml serialization (list, pairs, int, loc, ...) used by coqide but potentially useful to other interfaces - ide/xmlprotocol serialization of protocol messages as in ide/interface the only drawback is that coqidetop needs -thread and I had to pass that option to all files in ide/
*	Adding a stm/ folder, as asked during last workgroup. It was essentially moving	Pierre-Marie Pédrot	2014-04-25
	files around. A bunch of files from lib/ that were only used in the STM were moved, as well as part of toplevel/ related to the STM.