proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	fix two bugs in parallel compilation for Coq	Hendrik Tews	2013-07-11
\|
*	fix overwriting the empty compilation queue	Hendrik Tews	2013-03-05
\|
*	small improvement	Hendrik Tews	2013-02-20
\|
*	fix parallel Coq compilation: report error for circular dependencies	Hendrik Tews	2013-02-18
\|
*	move message about killing coq compilation processes	Hendrik Tews	2013-02-18
\|
*	- fix asserting when parallel background compilation is in progress	Hendrik Tews	2013-01-03
\| \| \| \|	- fix aborting background compilation on error
*	- fix problem in emergency process killing	Hendrik Tews	2012-11-14
\| \| \| \|	- better handling of errors in process creation
*	all-cpus option for coq-max-background-compilation-jobs	Hendrik Tews	2012-11-14
\|
*	fix coq-lock-ancestor for parallel compilation	Hendrik Tews	2012-11-14
\|
*	update documentation	Hendrik Tews	2012-11-14
\|
*	- first version of parallel asynchronous compilation for coq in	Hendrik Tews	2012-11-13
	coq-par-compile.el (must be activated via coq-compile-parallel-in-background) - items in the queue region are not necessarily in proof-action-list any more! Require commands and the following items are stored elsewhere until the compilation finishes. Variable proof-second-action-list-active notifies the generic machinery if queue items are stored elsewhere. In this case, Proof General must neither release the proof shell lock nor delete the queue span when proof-action-list is empty. - to kill background processes as early as possible, the new hook proof-shell-signal-interrupt-hook is used