coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	STM: proof block detection for bullets and { block }	Enrico Tassi	2016-06-06
\|
*	Move serialization functions out of Stm	Emilio Jesus Gallego Arias	2016-06-02
\| \| \| \| \| \| \| \| \|	Serialization should be specific to each particular backend, so we let the Stm clients choose how the send the nodes. This should be quite safe to pull in. Test suite passes. Related to #180
*	rename: vi -> vio	Enrico Tassi	2015-01-06
\|
*	XML pretty printing for AST (work by François Poulain, project DoCoq)	Enrico Tassi	2014-09-29
\| \| \| \|	It is not 100% complete, but the main part is there.
*	coqworkmgr	Enrico Tassi	2014-09-02
\|
*	STM: code restructured to reuse task queue for tactics	Enrico Tassi	2014-08-05
\|
*	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.