proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}	Hendrik Tews	2013-05-22
\| \| \| \|	to fix #472
*	Retire Serifa font usage	David Aspinall	2013-05-22
\|
*	Set version tag for new release.	David Aspinall	2013-05-22
\|
*	Add ProofGeneral.jpg to distribution	David Aspinall	2013-05-22
\|
*	- update coq example	Hendrik Tews	2013-05-14
\| \| \| \|	- minor changes in user manual
*	Set version tag for new release.	David Aspinall	2013-05-10
\|
*	improve doc	Hendrik Tews	2013-04-19
\|
*	add 4.3 news to user manual	Hendrik Tews	2013-03-27
\|
*	Set version tag for new release.	David Aspinall	2013-03-27
\|
*	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
\|
*	updated TAGS	Hendrik Tews	2013-02-18
\|
*	Update timestampes	David Aspinall	2013-01-28
\|
*	- implement proof-script insertion	Hendrik Tews	2013-01-21
\|
*	- implement retract from prooftree	Hendrik Tews	2013-01-20
\|
*	Fixed a bug with window height optimization.	Pierre Courtieu	2013-01-17
\| \| \| \| \|	When using unicode symbols, window-height (which is deprecated anyway) is incorrect, using window-text-height instead seems better.
*	document latest changes	Hendrik Tews	2013-01-17
\|
*	- support Grab Existential Variables for Prooftree	Hendrik Tews	2013-01-17
\| \| \| \|	- protocol change, but stay at version 3
*	fix overriding distclean target	Hendrik Tews	2013-01-15
\|
*	removal of backup files (*~) moved to make distclean	Hendrik Tews	2013-01-15
\|
*	- support bullets and braces in Prooftree	Hendrik Tews	2013-01-15
\| \| \| \|	- prooftree protocol change to version 3
*	Set version tag for new release.	David Aspinall	2013-01-11
\|
*	fix parallel overlapping calls of proof-shell-filter	Hendrik Tews	2013-01-10
\|
*	- fix asserting when parallel background compilation is in progress	Hendrik Tews	2013-01-03
\| \| \| \|	- fix aborting background compilation on error
*	write CHANGES	Hendrik Tews	2012-11-15
\|
*	- 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
\|
*	update TAGS	Hendrik Tews	2012-11-13
\|
*	- 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
*	small typo fixes	Hendrik Tews	2012-11-13
\|
*	Doc for pg-finish-tracing-display	David Aspinall	2012-11-09
\|
*	move ancestor locking back into specific part	Hendrik Tews	2012-11-06
\|
*	move ancestor locking/unlocking to coq-compile-common	Hendrik Tews	2012-11-05
\|
*	fix seq-seq misspelling	Hendrik Tews	2012-11-05
\|
*	move buffer saving to coq-compile-common	Hendrik Tews	2012-11-05
\|
*	make coq-include-options independent of current buffer	Hendrik Tews	2012-11-03
\|
*	move another 2 functions into coq-compile-common	Hendrik Tews	2012-11-03
\|
*	move function for coq-compile-response-buffer to coq-compile-common.el	Hendrik Tews	2012-11-01
\|
*	Update	David Aspinall	2012-11-01
\|
*	rename entities in coq-seq-compile	Hendrik Tews	2012-10-30
\|
*	move some more material into coq-compile-common	Hendrik Tews	2012-10-30
\|
*	update TAGS	Hendrik Tews	2012-10-30
\|
*	move general part of compilation into coq-compile-common.el	Hendrik Tews	2012-10-30
\|
*	move coq compilation into coq/coq-seq-compile.el	Hendrik Tews	2012-10-30
\|
*	Set version tag for new release.	David Aspinall	2012-10-19
\|
*	Updates for PG 4.3	David Aspinall	2012-10-19
\|