proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	proof-prf-string -> proof-showproof-command	David Aspinall	1999-11-08
*	Comments/messages.	David Aspinall	1999-11-08
*	Copyright messages updated.	David Aspinall	1999-11-08
*	tuned msg;	Makarius Wenzel	1999-10-27
*	Implementation of proof-auto-multiple-files.	David Aspinall	1999-10-25
*	Added symmetric proof-shell-inform-file-retracted-cmd setting to correspond	David Aspinall	1999-10-21
*	Changed name of proof-shell-cd-cmd for uniformity.	David Aspinall	1999-10-21
*	Changed name to proof-shell-inform-file-processed-cmd	David Aspinall	1999-10-21
*	Added proof-shell-inform-file-processed-command setting.	David Aspinall	1999-10-21
*	Comments in proof-complete-buffer-atomic.	David Aspinall	1999-10-20
*	Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic. Fix to only c...	David Aspinall	1999-10-19
*	Missing cursor move	David Aspinall	1999-10-18
*	FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.	David Aspinall	1999-10-15
*	Fix missing save-excursion causing bug with proof-process-buffer.	David Aspinall	1999-10-14
*	Fix for older emacsen, maybe.	David Aspinall	1999-10-07
*	Tidy proof-interrupt-process	David Aspinall	1999-10-06
*	Speed optimizations, part I.	David Aspinall	1999-10-06
*	More improvements/fixes for closing unfinished proofs.	David Aspinall	1999-10-06
*	Made new command proof-cd to cd to the directory of the current	David Aspinall	1999-10-06
*	Support for closing off incomplete goal-saves.	David Aspinall	1999-10-06
*	Cleaned up. Fixed bug in proof-queue-or-locked-end	David Aspinall	1999-10-06
*	BUG FIX: hopefully fixed spurious locked region problem.	David Aspinall	1999-10-06
*	docstring and error message improvements.	David Aspinall	1999-10-06
*	remove dead code	David Aspinall	1999-10-06
*	proof-try-command is deprecated	David Aspinall	1999-10-06
*	Updates.	David Aspinall	1999-10-06
*	Added proof-retract-buffer symmetric to proof-process-buffer.	David Aspinall	1999-10-06
*	Fixup name changes	David Aspinall	1999-10-01
*	Renamed some configuration variables for uniformity, see CHANGES.	David Aspinall	1999-10-01
*	Removed dubious 'dont own process' error in proof-interrupt-process.	David Aspinall	1999-10-01
*	Fixes so that proof-strict-read-only can be toggled within a session (via res...	David Aspinall	1999-09-29
*	Changed name of proof-copy-span to proof-mouse-track-insert.	David Aspinall	1999-09-29
*	Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to C-bu...	David Aspinall	1999-09-29
*	More reorganizing of menus and keybindings with aim of usability in mind.	David Aspinall	1999-09-28
*	Reorganization of menus: made a single menu but flattened Scripting submenu.	David Aspinall	1999-09-28
*	Made Scripting menu entry item on menubar.	David Aspinall	1999-09-28
*	Added menu binding for finding theorems.	David Aspinall	1999-09-23
*	Added proof-find-theorems and some hairy macros to define related commands.	David Aspinall	1999-09-23
*	Whitespace.	David Aspinall	1999-09-22
*	Comments	David Aspinall	1999-09-22
*	Call proof-state-change-hook after asserting and retracting.	David Aspinall	1999-09-21
*	Removed proof-shell-completed added to eval-when-compile by mistake.	David Aspinall	1999-09-13
*	Added callbacks to refresh toolbar	David Aspinall	1999-09-13
*	Changed peculiar message to something slightly less peculiar	David Aspinall	1999-09-13
*	Experimental fix for proof-shell-completed flag clearing.	David Aspinall	1999-09-13
*	Added proof-terminal-string to proof-execute-minibuffer-cmd.	David Aspinall	1999-09-13
*	da: improved comment;	Makarius Wenzel	1999-09-03
*	Attempted fix of FSFmacs problem, left as comment	David Aspinall	1999-08-24
*	proof-goto-end-of-locked-if-pos-not-visible-in-window:	David Aspinall	1999-08-20
*	improved proof-segment-up-to to support proof-string-start-regexp,	Makarius Wenzel	1999-05-27