| Commit message (Expand) | Author | Age |
|---|
| * | Generalise proof-def-invisible. |  David Aspinall | 2004-06-13 |
| * | Add compatibility hack for Emacs 21.2.1 customize-menu-create | David Aspinall | 2004-04-26 |
| * | Add proof-shell-require-command-regexp, proof-done-advancing-require-function | David Aspinall | 2004-04-24 |
| * | Allow empty :setting, :eval in defpacustom. | David Aspinall | 2004-04-22 |
| * | Fix bug in replace-in-string for GNU Emacs | David Aspinall | 2004-04-17 |
| * | Oops, remove junk. | David Aspinall | 2004-04-17 |
| * | Escape the string from substitute-command-keys in proof-defshortcut, proof-de... | David Aspinall | 2004-04-17 |
| * | Capitalization. | David Aspinall | 2004-04-17 |
| * | Gerwins bug had snuck back in. Reenable customize menus for GNU Emacs | David Aspinall | 2004-04-15 |
| * | Add back menu for displaying associated buffers (suggestion of Norbert Schirmer) | David Aspinall | 2004-04-15 |
| * | Add Index Menu and Speedbar menu entries; remove Function Menu. | David Aspinall | 2004-04-14 |
| * | Abstract out proof-maybe-askprefs | David Aspinall | 2004-04-13 |
| * | Add hint to C-c C-l; cleanup hints, add menu for C-c C-l | David Aspinall | 2004-04-13 |
| * | Overhaul and fixes for display management. | David Aspinall | 2004-04-02 |
| * | Fix a few compiler warnings | David Aspinall | 2004-03-02 |
| * | Add insert last output onto menu | David Aspinall | 2003-06-08 |
| * | Include next buffer in hint for rotate buffers | David Aspinall | 2003-05-24 |
| * | Switch order of buffers displayed by C-c C-l. Add hint. | David Aspinall | 2003-05-24 |
| * | Add option menu item for dectivate scripting auto action | David Aspinall | 2003-05-21 |
| * | Allow proof-strict-read-only to be changed dyamically, add to quick opts menu... | David Aspinall | 2003-03-17 |
| * | Add requires to reduce compilation warnings. | David Aspinall | 2003-03-14 |
| * | Fix proofdefinvisible, proofdefshortcut to work in compiled version | David Aspinall | 2003-02-24 |
| * | Docs; same safe-fail for MMM as X-Symbol. | David Aspinall | 2003-02-19 |
| * | Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or | David Aspinall | 2003-02-19 |
| * | Add support for MMM mode | David Aspinall | 2003-02-18 |
| * | Compatibility function for customize-menu-create | David Aspinall | 2003-02-05 |
| * | Add followdown mode; compat note | David Aspinall | 2002-12-29 |
| * | Autoload proof-definvisible | David Aspinall | 2002-11-20 |
| * | Comment | David Aspinall | 2002-11-20 |
| * | Fix typo. | David Aspinall | 2002-11-20 |
| * | Add reset options, and save/reset settings items. | David Aspinall | 2002-11-20 |
| * | Support redefinitions in proof-defpacustom-fn, by removing custom settings. | David Aspinall | 2002-11-18 |
| * | Add proof-assistant-menu-update, allow redefine of setting in pacustom. | David Aspinall | 2002-11-14 |
| * | Fix proof-quick-opts-save to match menu | David Aspinall | 2002-09-11 |
| * | Add :visible support. Minor reorganisation. | David Aspinall | 2002-09-11 |
| * | generic/proof-menu: move electric terminator, show specific; Help menu items ... | David Aspinall | 2002-09-04 |
| * | Make C-c C-w appear on binding list | David Aspinall | 2002-08-29 |
| * | Simplify menu structure further by adding Advanced menu. | David Aspinall | 2002-08-29 |
| * | Comments: possible fix to compiles. | David Aspinall | 2002-08-28 |
| * | Fix for docstrings in proof-def-shortcut, proof-def-invisible. | David Aspinall | 2002-08-28 |
| * | proof-assistant-format: always pass through proof-assistant-setting-format; |  Makarius Wenzel | 2002-08-27 |
| * | Move C-c C-w to universal keys | David Aspinall | 2002-08-27 |
| * | Key for pg-response-clear-displays. | David Aspinall | 2002-08-27 |
| * | Conventions | David Aspinall | 2002-08-27 |
| * | Menu entry to clear response buffers. | David Aspinall | 2002-08-27 |
| * | Small fixes | David Aspinall | 2002-08-15 |
| * | Generalise proof elements to include comments, show/hiding of comments. | David Aspinall | 2002-08-08 |
| * | Allow favourite saving when user wants. | David Aspinall | 2002-08-08 |
| * | Fix proof-quick-opts-save. Rename proof-dont-switch-windows -> proof-three-w... | David Aspinall | 2002-08-07 |
| * | Trace buffer opt always enabled. Failed fix attempt for proof-quick-opts-save. | David Aspinall | 2002-08-07 |
David Aspinall
Makarius Wenzel