proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	proof-nested-goals-allowed -> proof-completed-proof-behaviour	David Aspinall	1999-11-14
\| \| \| \| \|	Patch for more flexible handling of closing goal...save regions after proof has been completed.
*	Added new face for debug messages	David Aspinall	1999-11-13
\|
*	Notes about font-lock management.	David Aspinall	1999-11-12
\|
*	Fixes for response buffer display, x-symbol, output formatting.	David Aspinall	1999-11-12
\|
*	Attempted x-symbol improvements	David Aspinall	1999-11-11
\|
*	Removed debug instruction.	David Aspinall	1999-11-11
\|
*	Next round of fixups for font-lock and x-symbol.	David Aspinall	1999-11-11
\|
*	Extensive fixes for x-symbol and font-lock.	David Aspinall	1999-11-11
\|
*	Reorganized user options. Special new code for boolean settings.	David Aspinall	1999-11-10
\|
*	Moved more utility functions here.	David Aspinall	1999-11-10
\|
*	Generic support for x-symbol tuned up.	David Aspinall	1999-11-09
\|
*	Docstring for proof-included-files.	David Aspinall	1999-11-08
\|
*	Copyright messages updated. Autoloads for x-symbol.	David Aspinall	1999-11-08
\|
*	update of x-symbol stuff by DvO;	Makarius Wenzel	1999-10-27
\|
*	Made proof-warning and friends take arg list.	David Aspinall	1999-10-25
\|
*	face arg for proof-response-buffer-display is now optional	David Aspinall	1999-10-06
\| \| \| \|	added proof-message, proof-warning, proof-debug here.
*	Fix for FSF: it should load proof-toolbar too.	David Aspinall	1999-09-28
\|
*	Fix for toolbar disable for FSF Emacs.	David Aspinall	1999-08-23
\|
*	proof-version -> proof-general-version	David Aspinall	1999-08-23
\|
*	Added PROOFGENERAL_ASSISTANTS. proof-site should not need to be edited.	David Aspinall	1999-02-22
\|
*	Beginnings of x-symbol support.	David Aspinall	1998-12-18
\|
*	Improved documentation of proof-included-files-list.	David Aspinall	1998-12-15
\|
*	Reordered require of cl. Changed deflocal definition.	David Aspinall	1998-12-14
\|
*	Tweaked headings for bug report	David Aspinall	1998-12-11
\|
*	Added proof-submit-bug-report	David Aspinall	1998-12-11
\|
*	Made point stay at top of goals buffer and bottom of response buffer	David Aspinall	1998-12-10
\|
*	Format fix	David Aspinall	1998-11-26
\|
*	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
\|