proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	FSF Emacs fix for buffer-file-truename, which is the	David Aspinall	1998-11-25
\| \| \| \|	abbreviated form of file-truename!
*	Replaced proof-pbp-buffer with proof-goals-buffer.	David Aspinall	1998-11-25
\|
*	Note about window dedicated problem.	David Aspinall	1998-11-25
\|
*	Reimplemented functions to shut down and restart proof process.	David Aspinall	1998-11-20
\| \| \| \| \| \|	Scrapped proof-shell-exit-hook. Added proof-shell-quit-cmdd, proof-shell-restart-comd Fancier Scripting indicator for active scripting buffer.
*	BIG CHANGES -- SORRY!	David Aspinall	1998-11-20
\| \| \| \| \| \| \| \|	Replaced proof-script-buffer-list with proof-script-buffer. The list was causing too much confusion and nasty bugs used with Isabelle multiple files. Implemented proof-script-buffers and proof-restart-all-buffers, other functions.
*	proof-response-buffer-display: Move point to the end of the buffer	David Aspinall	1998-11-18
\| \| \| \|	after all. It can get moved by the display functions.
*	Improved proof-clean-buffer. Now only deletes windows in currently	David Aspinall	1998-11-18
\| \| \| \| \|	selected frame. Changed default proof-auto-delete-windows value back to t.
*	Bug fix and adjustments in proof-response-buffer-display	David Aspinall	1998-11-18
\|
*	Added proof-auto-delete-windows user option.	David Aspinall	1998-11-12
\|
*	Added acknowledgements to doc. Removed from code.	David Aspinall	1998-11-09
\|
*	Promoted proof-window-dedicated to be a user option, and	David Aspinall	1998-11-03
\| \| \| \|	renamed it [to reserve -p only for functions (predicates)].
*	A* Fix display handling problems (tms, all week)	Thomas Kleymann	1998-11-03
\| \| \| \|	Done. :-)
*	Proof General no longer moves point in the current-buffer	Thomas Kleymann	1998-11-02
\|
*	Quick fix for multiple file problem when current scripting buffer is ↵	David Aspinall	1998-11-02
\| \| \| \|	retracted by prover.
*	Proof General no longer changes selected window/buffer under your feet.	Thomas Kleymann	1998-11-02
\|
*	fixed minor bugs	Thomas Kleymann	1998-11-02
\|
*	o added support for byte-compilation	Thomas Kleymann	1998-11-01
\| \| \| \| \| \| \|	o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode
*	implemented new buffer model. The goals buffer is now exclusively	Thomas Kleymann	1998-10-30
\| \| \| \|	reserved for goals.
*	Fixed requires for FSF Emacs.	David Aspinall	1998-10-29
\| \| \| \| \|	Patched (old bug?) in proof-response-buffer-display, how did it come back?
*	Added autoload for proof-shell-available-p	David Aspinall	1998-10-28
\|
*	rearranged code to avoid compiler warning messages	Thomas Kleymann	1998-10-28
\|
*	Splash screen added back. Put in Xemacs test for noninteractive to	David Aspinall	1998-10-27
\| \| \| \|	fix odd arithmetic error during byte compile.
*	Fixed up proof-script.el for clean byte compile	David Aspinall	1998-10-27
\|
*	Temp disable splash	David Aspinall	1998-10-27
\|
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
\|
*	Splash screen now works for FSF	David Aspinall	1998-10-26
\|
*	Separated splash screen code	David Aspinall	1998-10-22
\|
*	Moved user options into proof-config	David Aspinall	1998-10-22
\|
*	Split proof.el into proof-config.el, proof-script.el, proof-shell.el	David Aspinall	1998-10-22
\|
*	renamed fume-match-find-next-function-name	Thomas Kleymann	1998-10-22
\|
*	fixed bug in fume-match-find-next-function-name	Thomas Kleymann	1998-10-22
\|
*	o Replaced proof-register-new-processed-file by -possibly-new- variant.	David Aspinall	1998-10-21
\| \| \| \| \| \|	o Allowed proof-shell-process-file function to return nil o Fixed bug (missing declaration of 'file') in proof-shell-process-urgent-message
*	no longer displays important messages about file assertion/retraction	Thomas Kleymann	1998-10-21
\|
*	Improved maintainability of code in proof-check-process-available.	David Aspinall	1998-10-21
\|
*	fixed a bug in `proof-check-process-available'	Thomas Kleymann	1998-10-21
\|
*	o made buffer-file-truename even safer	Thomas Kleymann	1998-10-21
\| \| \| \|	o fixed bug in ...-check-...
*	o Improved error messages	Thomas Kleymann	1998-10-21
\| \| \| \|	o Fixed bug in proof-toolbar-next
*	Added code to register fully processed file. Multiple file fix list updated	David Aspinall	1998-10-21
\|
*	Changed from forcing w3 to using customizable browse-url	David Aspinall	1998-10-21
\|
*	Added proof-activate-scripting-hook and fixed regexps	David Aspinall	1998-10-21
\|
*	Changed minibuffer tag to have name of prover instead of Proof	David Aspinall	1998-10-20
\|
*	Bug fixes for multiple file code, da/tms.	David Aspinall	1998-10-19
\|
*	support for nested goals is now restricted to Coq	Thomas Kleymann	1998-10-18
\|
*	Reimplemented multiple file proof developments	Thomas Kleymann	1998-10-18
\|
*	Disabled font-lock in process buffer	Thomas Kleymann	1998-10-13
\|
*	Added compatibility hack for customize-menu-create.	David Aspinall	1998-10-12
\|
*	Added sensible error message for attempting undo on empty locked region.	David Aspinall	1998-10-12
\|
*	Made defface's work for dark background Emacsen (default for FSF on Linux).	David Aspinall	1998-10-12
\|
*	Dox. Made proof-shell-exec-loop not complain about empty action list.	David Aspinall	1998-10-12
\|
*	Splash screen tries gif if jpeg not available. Using hack by tms	David Aspinall	1998-10-12
\|