proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
1998-09-17	Fix in proof-shell-handle-output	David Aspinall

1998-09-17	fixed a bug in proof-shell-filter and proof-shell-handle-ouput	Thomas Kleymann

1998-09-16	Moved proof-info-dir into proof-site and defcustom'd it.	David Aspinall
	Set the Info directory list there rather than after proof.el has loaded. Add the proof-info-dir onto the end of Info-default-directory-list, not the start.
1998-09-16	fixed implementation fo proof-find-next-terminator;	Thomas Kleymann
	it can now be used even when there is no corresponding proof process
1998-09-16	Improved doc. Removed proof-mode-version-string.\nMade ↵	David Aspinall
	proof-prog-name-ask-p defcustom
1998-09-15	Reimplemented proof-shell-popup-eager-annotation	Thomas Kleymann
	These are no longer displayed in the GOALS buffer.
1998-09-14	Added docs and proof-restart-script-same-process (may need work)	David Aspinall

1998-09-10	-Added documentation	Thomas Kleymann
	-Simplified code for setting faces -Reimplimented `proof-shell-handle-error' -Improved `proof-shell-filter'; it no longer removes the prompt annotation -The Shell no longer automatically scrolls to the end (or so I hope)
1998-09-09	Made proof-assert-next-command move forward by default.	David Aspinall

1998-09-09	Added Id to headers.	David Aspinall

1998-09-08	Added FIXMEs.	David Aspinall
	Added documentation. proof-segment-up-to: Removed explicit ML-style comment syntax, added END-OF-COMMAND argument. proof-undo-last-successful-command: Added optional argument to not delete. (The difference between this and proof-retract-until-point is that it infers the last command). proof-assert-next-command: Experimental alternative to proof-assert-until-point to match undo-last-successful-command.
1998-09-08	removed dependency on tl-list	Thomas Kleymann

1998-09-03	Requires proof-site.	David Aspinall

1998-09-03	Renamed for new subdirectory structure	David Aspinall