coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\|
*	Update copyright headers.	Maxime Dénès	2016-01-20
\|
*	Update headers.	Maxime Dénès	2015-01-12
\|
*	WorkerPool: simpler fuctor and no more parking area	Enrico Tassi	2014-12-17
\|
*	WorkerPool: API to move a worker from an active pool to a parking one	Enrico Tassi	2014-11-27
\| \| \| \| \| \| \|	This lets me have a pool of active workers of a fixed size, plus a parking area where workers that completed their job can stay holding their state (and eventually one can ask them to query such state afterwards).
*	STM: new "par:" goal selector, like "all:" but in parallel	Enrico Tassi	2014-08-05
\| \| \| \| \|	par: distributes the goals among a number of workers given by -async-proofs-tac-j (defaults to 2).
*	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.