proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	proof-script-find-next-entity: support list of match items;	Makarius Wenzel	2000-06-16
*	Comment	David Aspinall	2000-06-09
*	Added special hack for Isar to include proof-terminal-char in sent string.	David Aspinall	2000-06-06
*	proof-segment-up-to-cmdstart/end: use proof-re-search, proof-looking-at!	Makarius Wenzel	2000-06-04
*	proof-segment-up-to-cmdstart: exclude leading blanks from command string;	Makarius Wenzel	2000-06-04
*	improved proof-segment-up-to-cmdstart: handle overlap of command	Makarius Wenzel	2000-06-03
*	Use proof-running-on-XEmacs variable. Don't set proof-segment-up-to alias if...	David Aspinall	2000-06-01
*	New parsing functions proof-segment-up-to-cmd{start,end}	David Aspinall	2000-06-01
*	Fixes for completion support.	David Aspinall	2000-05-31
*	Hairy parsing for Isar. Not finished (or working) yet.	David Aspinall	2000-05-30
*	Arg for proof-minibuffer-cmd: compact whitespace in region.	David Aspinall	2000-05-30
*	Fixed typo causing bug. Generic parsing updated (still wip)	David Aspinall	2000-05-30
*	Added doc of new prefix arg feature for proof-minibuffer-cmd	David Aspinall	2000-05-30
*	Added prefix arg to proof-minibuffer-cmd to insert current region.	David Aspinall	2000-05-30
*	Added new parsing mechanism. Began removing proof-terminal-string.	David Aspinall	2000-05-29
*	Removed proof-script-indent check.	David Aspinall	2000-05-26
*	Added completion table code.	David Aspinall	2000-05-25
*	Add proof-strict-state-preserving setting	David Aspinall	2000-05-16
*	Use proof-deftoggle macro.	David Aspinall	2000-05-11
*	Fixup loading.	David Aspinall	2000-05-09
*	Removed menus, keybinding. Removed compatibility hacks. Improved loading.	David Aspinall	2000-05-09
*	Comments. Minor improvements for electric terminator and proof-follow-mode='...	David Aspinall	2000-05-05
*	Added proof-assistant-keymap and commands for defining insert keys.	David Aspinall	2000-05-02
*	Added proof-assistant-menu-entries for proof assistant specific menus.	David Aspinall	2000-05-01
*	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