proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Docstring	David Aspinall	1999-11-24
*	Fixed extending queue bug. Many docstring improvements	David Aspinall	1999-11-24
*	Fixed bug introduced by hacking proof-only-whitespace-to-locked-region-p.	David Aspinall	1999-11-23
*	Renamed proof-auto-delete-windows -> proof-delete-empty-windows	David Aspinall	1999-11-22
*	Improved nothing to do error message	David Aspinall	1999-11-22
*	Typo	David Aspinall	1999-11-19
*	Fix for proof-script-new-command-advance.	David Aspinall	1999-11-19
*	Removed comment.	David Aspinall	1999-11-18
*	Changed eval-when-compile to eval-when (compile).	David Aspinall	1999-11-18
*	Fix mouse bindings to be different for FSF/XEmacs versions.	David Aspinall	1999-11-17
*	Fix typo	David Aspinall	1999-11-17
*	Add Function Menu to menu. Fix a few bugs/probs shown up by byte-compiling.	David Aspinall	1999-11-17
*	Not strictly necessary to set proof-goal-command-regexp	David Aspinall	1999-11-16
*	Added proof-mouse-goto-point, moved proof-mouse-track-insert to proof-script	David Aspinall	1999-11-16
*	Fix for proof-minibuffer-cmd. Remove old keybindings.	David Aspinall	1999-11-16
*	Fix for retraction order with auto-multiple-files.	David Aspinall	1999-11-16
*	Fixed mistake in function names. Tidied menus a bit	David Aspinall	1999-11-15
*	Fixes for FSF overlay obscurity.	David Aspinall	1999-11-15
*	Reorganization of user-level commands, code moved from proof-toolbar.el	David Aspinall	1999-11-15
*	Reorganization and cleanup of key-bindings.	David Aspinall	1999-11-15
*	Fixes for proof-goto-commmand-{end,start}. Former new function	David Aspinall	1999-11-14
*	Many robustness improvements for error and interrupt handling:	David Aspinall	1999-11-14
*	proof-nested-goals-allowed -> proof-completed-proof-behaviour	David Aspinall	1999-11-14
*	Beginnings of improved version of goal..no save regions.	David Aspinall	1999-11-13
*	Fixes for Isabelle in case theory file is visited before script file.	David Aspinall	1999-11-12
*	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
*	Added proof-help command to help menu.	David Aspinall	1999-11-11
*	Added new command proof-goto-point, new default binding for C-c RET.	David Aspinall	1999-11-11
*	Added some desparate patches for dead extent problem proof-done-advancing	David Aspinall	1999-11-10
*	Reorganized user options. Special new code for boolean settings.	David Aspinall	1999-11-10
*	fixed indentation bug: use proof-looking-at (proof-case-fold-search);	Makarius Wenzel	1999-11-10
*	Moved proof-file-truename, proof-file-to-buffer, to proof.el	David Aspinall	1999-11-10
*	Generic support for x-symbol tuned up.	David Aspinall	1999-11-09
*	Bug again in call-interactively in proof-toggle-active-scripting.	David Aspinall	1999-11-09
*	Bug in proof-toggle-active-scripting interactive calling.	David Aspinall	1999-11-09
*	Arrange for activate-scripting to not block for interactive calls.	David Aspinall	1999-11-09
*	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