proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Make sure 8bits and coding are unset in proof-x-symbol-encode-shell-input.	David Aspinall	1999-11-23
*	Set version tag for new release.	David Aspinall	1999-11-22
*	Renamed proof-auto-delete-windows -> proof-delete-empty-windows	David Aspinall	1999-11-22
*	proof-shell-done-invisible -> proof-done-invisible again	David Aspinall	1999-11-22
*	Added curious comment	David Aspinall	1999-11-22
*	Extend <var>-mode-hook for extra modes to call proof-x-symbol-mode.	David Aspinall	1999-11-22
*	Fix a couple of group names, and comments at top of file.	David Aspinall	1999-11-22
*	Moved goto button.	David Aspinall	1999-11-22
*	Improved nothing to do error message	David Aspinall	1999-11-22
*	Fix a couple of group names, and comments at top of file.	David Aspinall	1999-11-22
*	Fix so clicking on url works in bug report	David Aspinall	1999-11-22
*	Set version tag for new release.	David Aspinall	1999-11-19
*	Typo	David Aspinall	1999-11-19
*	Fix for proof-script-new-command-advance.	David Aspinall	1999-11-19
*	Added goto button	David Aspinall	1999-11-19
*	Added texi-docstring-magic-untabify to fix tabs in docstrings.	David Aspinall	1999-11-19
*	Added pbp-yank-subterm, changed mouse bindings for goals buffer.	David Aspinall	1999-11-19
*	docstring	David Aspinall	1999-11-19
*	Removed spurious defn of proof-config.el	David Aspinall	1999-11-19
*	Fix proof-try-require for FSF Emacs.	David Aspinall	1999-11-19
*	Set version tag for new release.	David Aspinall	1999-11-18
*	Don't bother put extra modes on auto-mode-alist, rely on proof-x-symbol to do...	David Aspinall	1999-11-18
*	Removed comment.	David Aspinall	1999-11-18
*	Use new function proof-try-require instead of condition-case ...	David Aspinall	1999-11-18
*	Automatically generate special-display-regexps entry, and	David Aspinall	1999-11-18
*	Changed eval-when-compile to eval-when (compile).	David Aspinall	1999-11-18
*	Moved response buffer code here.	David Aspinall	1999-11-18
*	Added user option for multiple frames.	David Aspinall	1999-11-18
*	Set version tag for new release.	David Aspinall	1999-11-17
*	Name change proof-window-dedicated -> proof-dont-switch-windows.	David Aspinall	1999-11-17
*	Bind mouse 2 as well as mouse 3 for pbp	David Aspinall	1999-11-17
*	Added some new code from another patch, but commented out for now.	David Aspinall	1999-11-17
*	Fix mouse bindings to be different for FSF/XEmacs versions.	David Aspinall	1999-11-17
*	Fix typo	David Aspinall	1999-11-17
*	Fix for FSF compatibility	David Aspinall	1999-11-17
*	Comments	David Aspinall	1999-11-17
*	Fix bug	David Aspinall	1999-11-17
*	Fix a few bugs/probs shown up by byte-compiling.	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
*	Strip CRs from minibuf messages for FSF's sake to remove ^Js. Attempt to fi...	David Aspinall	1999-11-16
*	Not strictly necessary to set proof-goal-command-regexp	David Aspinall	1999-11-16
*	Second version of easy-config, without defvaralias use.	David Aspinall	1999-11-16
*	Fix type of proof-completed-proof-behaviour.	David Aspinall	1999-11-16
*	Working version of easy-config.	David Aspinall	1999-11-16
*	Turn debug messages off by default.	David Aspinall	1999-11-16
*	Added proof-mouse-goto-point, moved proof-mouse-track-insert to proof-script	David Aspinall	1999-11-16
*	Set version tag for new release.	David Aspinall	1999-11-16
*	Fix for proof-minibuffer-cmd. Remove old keybindings.	David Aspinall	1999-11-16
*	Note about how to use demoisa and isar instances. Other comments	David Aspinall	1999-11-16
*	Added proof-string-match-safe and proof-stringfn-match (also safe)	David Aspinall	1999-11-16