| Commit message (Expand) | Author | Age |
|---|
| * | 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 |
| * | Preliminary, not for 3.0. | David Aspinall | 1999-11-16 |
| * | Fix for retraction order with auto-multiple-files. | David Aspinall | 1999-11-16 |
| * | Docstrings, bug report msg. Added proof-warn-if-unset. | David Aspinall | 1999-11-16 |
| * | Fix to shell filter for non-wakeup char instances of PG. | David Aspinall | 1999-11-16 |
| * | New settings for generic count-undos code: | David Aspinall | 1999-11-16 |
| * | Splash time=2, trying to unify FSF and XEmacs. | David Aspinall | 1999-11-15 |
| * | docstring | David Aspinall | 1999-11-15 |
| * | Repaired FSF font-locking. Define toggler for output hilite enable. | David Aspinall | 1999-11-15 |
| * | Fixed mistake in function names. Tidied menus a bit | David Aspinall | 1999-11-15 |
| * | Fixes for FSF overlay obscurity. | David Aspinall | 1999-11-15 |
| * | Set version tag for new release. | David Aspinall | 1999-11-15 |
| * | Moved proof-switch-to-buffer here from proof-script.el | David Aspinall | 1999-11-15 |
| * | Moved code for user-commands to proof-script.el. | David Aspinall | 1999-11-15 |
| * | proof-grab-lock calls proof-shell-ready-prover with queuemode arg. Docstring... | David Aspinall | 1999-11-15 |
| * | Reorganization of user-level commands, code moved from proof-toolbar.el | David Aspinall | 1999-11-15 |
David Aspinall