proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Note about efficiency/bug fix by Markus.	David Aspinall	2000-04-25
*	proof-segment-up-to: no longer poke around in make-string buffer (now	Makarius Wenzel	2000-04-15
*	More generic message to avoid confusion with Coq searching.	David Aspinall	2000-04-07
*	Improved behaviour of electric terminator.	David Aspinall	2000-04-04
*	Update copyright dates, comments.	David Aspinall	2000-04-04
*	Spacing.	David Aspinall	2000-03-24
*	Bug fix for electric terminator used inside locked region.	David Aspinall	2000-03-22
*	Use proof-format-filename instead of format on cmds with file parameter.	David Aspinall	2000-03-22
*	Added keybinding, improved doc for proof-undo-and-delete-last-successful-comm...	David Aspinall	2000-03-19
*	Use name of proof assistant in menu.	David Aspinall	2000-03-10
*	Added proof-shell-pre-interrupt-hook	David Aspinall	2000-02-09
*	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