| Age | Commit message (Expand) | Author |
|---|
| 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-19 | 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-18 | 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-17 | 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-16 | 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-15 | Splash time=2, trying to unify FSF and XEmacs. | David Aspinall |
