proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
1998-10-29	More hacks to variable names for customize (sorry)	David Aspinall

1998-10-29	Fixed requires for FSF Emacs.	David Aspinall
	Patched (old bug?) in proof-response-buffer-display, how did it come back?
1998-10-28	Added proof-toolbar-follow-mode user option and functions to support	David Aspinall
	it. Removed require on proof-shell from proof-toolbar.
1998-10-28	rearranged code to avoid compiler warning messages	Thomas Kleymann

1998-10-27	More fixes for cleaner byte compile.	David Aspinall

1998-10-27	Removed eval-when-compile around define-derived-mode, it don't work.	David Aspinall

1998-10-27	Made handling of multiple files more robust. On changing script	Thomas Kleymann
	buffers, we invoke (save-some-buffers). Furthermore, we warn the user if modified buffers have been read in by the proof assistant.
1998-10-27	Fixed up proof-script.el for clean byte compile	David Aspinall

1998-10-27	Fix of byte compiler warnings for proof-script.el.	David Aspinall

1998-10-27	Moved pbp-goal-command and pbp-hyp-command to proof-config.Moved LEGO specifix.	David Aspinall

1998-10-27	Added more comments to proof-activate-scripting	David Aspinall

1998-10-27	Removed bug introduced by da trying to do clever optimizations	David Aspinall

1998-10-27	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
	Removed superfluous optional 'relaxed' argument from: proof-shell-invisibile-command, proof-grab-lock, proof-start-queue.
1998-10-26	Moved proof-message to proof shell, renamed to proof-shell-message.	David Aspinall
	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.
1998-10-26	proof-check-process-available replaced by two functions:	David Aspinall
	proof-activate-scripting proof-shell-ready-prover
1998-10-23	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-22	Added deffaces to proof-config	David Aspinall

1998-10-22	Added new predicates: proof-locked-region-{empty,full}-p	David Aspinall
	proof-only-whitespace-to-locked-region-p
1998-10-22	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