proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Add interactive input setting, and extra flags for action.	David Aspinall	2003-10-05
*	Set version tag for new release.	David Aspinall	2003-09-25
*	Include class attribute in PGIP commands	David Aspinall	2003-09-24
*	Add idle timer to cleanup tracing display.	David Aspinall	2003-06-19
*	Give text default for hidden proof image.	David Aspinall	2003-06-16
*	Check display is really available: XEmacs now defines device-pixel-depth even...	David Aspinall	2003-06-13
*	Fix typo.	David Aspinall	2003-06-09
*	Extend proof-shell-identifier-under-mouse to allow regions, and also depend o...	David Aspinall	2003-06-08
*	Robustness in pg-identifier-under-mouse-query.	David Aspinall	2003-06-08
*	Comments.	David Aspinall	2003-06-08
*	Attempt to prevent recording of buffer switching history (display-buffer cann...	David Aspinall	2003-06-08
*	GNU Emacs keybinding for pg-identifier-under-mouse-query	David Aspinall	2003-06-08
*	Only give hint about C-c C-. if not already visible	David Aspinall	2003-06-08
*	Add insert last output onto menu	David Aspinall	2003-06-08
*	Add simple but effective identifier-under-mouse-query command.	David Aspinall	2003-06-08
*	Add code to recognize fast tracing output from prover, and play slow catchup.	David Aspinall	2003-06-05
*	Remove proof-trace-output-fontify-enable (unused) in favour of proof-trace-ou...	David Aspinall	2003-06-05
*	Typo	David Aspinall	2003-06-05
*	Simplify mark-buffer-atomic to just make 'proverproc span.	David Aspinall	2003-06-05
*	By default, do not move pointer on interrupt, only error; tune hints for spans	David Aspinall	2003-06-05
*	proof-strict-read-only: only alter locked span if live (bug fix)	David Aspinall	2003-05-28
*	Set version tag for new release.	David Aspinall	2003-05-24
*	Rotate buffers display can display next buffer	David Aspinall	2003-05-24
*	Include next buffer in hint for rotate buffers	David Aspinall	2003-05-24
*	Revert to displaying empty buffer for sake of pr in Isar	David Aspinall	2003-05-24
*	Add hint triggered when processing complete	David Aspinall	2003-05-24
*	Switch order of buffers displayed by C-c C-l. Add hint.	David Aspinall	2003-05-24
*	Tweak to shrink-to-fit	David Aspinall	2003-05-24
*	Added hint mechanism	David Aspinall	2003-05-24
*	Do not display empty responses	David Aspinall	2003-05-24
*	Add pg-show-hints	David Aspinall	2003-05-24
*	Improved version of shrink-to-fit (still problematic)	David Aspinall	2003-05-23
*	Set version tag for new release.	David Aspinall	2003-05-23
*	Comments	David Aspinall	2003-05-21
*	Add option menu item for dectivate scripting auto action	David Aspinall	2003-05-21
*	Note about auto deactivate scripting action	David Aspinall	2003-05-21
*	Set version tag for new release.	David Aspinall	2003-05-20
*	Buglet in proof-mark-buffer-atomic	David Aspinall	2003-05-20
*	Default to not using pad-eol	David Aspinall	2003-05-20
*	Set version tag for new release.	David Aspinall	2003-04-15
*	Comments.	David Aspinall	2003-04-05
*	Tweak to initialisation; fix prob with turning on during scripting.	David Aspinall	2003-04-05
*	Add proof-indent-pad-eol to add useless spaces	David Aspinall	2003-04-05
*	Add proof-indent-pad-eol for prettifying colouring in XEmacs	David Aspinall	2003-04-05
*	Make colour of active scripting indicator change as documented	David Aspinall	2003-03-17
*	Bury splash buffer instead of merely switching away from it.	David Aspinall	2003-03-17
*	Allow proof-strict-read-only to be changed dyamically, add to quick opts menu...	David Aspinall	2003-03-17
*	Documentation.	David Aspinall	2003-03-17
*	Set version tag for new release.	David Aspinall	2003-03-17
*	More tweaks so that (proof-ass x-symbol-enable) is pervasive.	David Aspinall	2003-03-17