proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fixed assert-until-point for ignore-process case	David Aspinall	1998-10-27
\|
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
\|
*	Checked through span code. Commented out dead bits	David Aspinall	1998-10-27
\|
*	Renamed proof-invisible-command proof-shell-invisible-command.	David Aspinall	1998-10-27
\| \| \| \| \| \| \|	Removed superfluous optional 'relaxed' argument from: proof-shell-invisibile-command, proof-grab-lock, proof-start-queue.
*	Moved proof-message to proof shell, renamed to proof-shell-message.	David Aspinall	1998-10-26
\| \| \| \| \| \| \| \| \| \|	Removed redundant variables in proof-shell-popup-eager-annotation. Fixed bug in proof-detach-segments called with optional argument (but it's never used?) Fixed bug in proof-issue-{goal,save} with function value for proof-{goal,save}-command.
*	proof-check-process-available replaced by two functions:	David Aspinall	1998-10-26
\| \| \| \| \|	proof-activate-scripting proof-shell-ready-prover
*	Moved proof-file-to-buffer to proof-script.el	David Aspinall	1998-10-23
\|
*	Corrected doc of proof-check-process-available	David Aspinall	1998-10-23
\|
*	Added support for locking Isabelle .thy files blue.	David Aspinall	1998-10-23
\|
*	Added deffaces to proof-config	David Aspinall	1998-10-22
\|
*	Added new predicates: proof-locked-region-{empty,full}-p	David Aspinall	1998-10-22
\| \| \| \|	proof-only-whitespace-to-locked-region-p
*	Added todo for clean byte compile	David Aspinall	1998-10-22
\|
*	Split proof.el into proof-config.el, proof-script.el, proof-shell.el	David Aspinall	1998-10-22