proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2012-11-13	- first version of parallel asynchronous compilation for coq in	Hendrik Tews
	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
2012-05-09	fix typo + add one missing cvsignore	Hendrik Tews

2011-12-27	Typo	David Aspinall

2011-05-20	- minor changes: clean personal todo list + adjust test case description	Hendrik Tews

2011-05-12	- add test coq/ex/test-cases/change-ancestor for the	Hendrik Tews
	change-ancestor bug
2011-02-28	- adjust coq-ask-insert-coq-prog-name and doc in coq-local-vars-doc	Hendrik Tews

2011-01-26	- fix problem description	Hendrik Tews

2011-01-21	- use time-less-p	Hendrik Tews
	- delete previous-head, simplify loop - coq 8.2 compatibility - describe bug for killing completely asserted active buffers in coq/ex/test-cases/retract-completely-asserted
2011-01-18	- fixed stale load path problem with killing the proof shell in	Hendrik Tews
	the deactivation-hook
2011-01-17	fix problems in test cases	Hendrik Tews
	coq/ex/test-cases/multiple-files-single-dir and multiple-files-multiple-dir
2011-01-14	- more coq test cases (some with surprising and embarrassing bugs)	Hendrik Tews

2011-01-14	- move proof-no-fully-processed-buffer to generic/proof-config	Hendrik Tews
	- add documentation for it - add a test case demonstrating it in coq/ex/test-cases/retract-completely-asserted