| Commit message (Expand) | Author | Age |
* | Add proof state hover messages to proof script, along with useful customization. | David Aspinall | 2009-05-26 |
* | Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c... | David Aspinall | 2009-05-26 |
* | Fix type in calls to toggle functions | David Aspinall | 2008-08-03 |
* | Fix for deferred loading of maths menu and unicode tokens. | David Aspinall | 2008-07-24 |
* | Merge changes from Version4Branch. | David Aspinall | 2008-07-24 |
* | Disable Unicode Tokens 2 | David Aspinall | 2008-07-10 |
* | TEMPORARY: add unicode-tokens2 mechanism to test across different machines | David Aspinall | 2008-07-05 |
* | proof-quick-opts-vars: add <PA>-unicode-tokens-enable | David Aspinall | 2008-02-06 |
* | Disable X-Symbol on emacs >= 23. Internal interfaces have changed | David Aspinall | 2008-01-31 |
* | Comments re trac #187 | David Aspinall | 2008-01-30 |
* | Add Unicode Tokens menu item; prevent (easily) selecting Unicode Tokens | David Aspinall | 2008-01-29 |
* | Remove unicode tokens from menu, this is experimental. | David Aspinall | 2008-01-25 |
* | Remove unicode tokens from menu, this is experimental. | David Aspinall | 2008-01-25 |
* | Add unicode-tokens-enable | David Aspinall | 2008-01-25 |
* | Remove dummy defvars, which cause errors if proof-menu is required during com... | David Aspinall | 2008-01-17 |
* | Reduce compiler warnings. Minor fixes. | David Aspinall | 2008-01-16 |
* | Many rearrangements for compatibility, efficient/correct compilation, namespa... | David Aspinall | 2008-01-15 |
* | Remove response history (delay for 3.7.1). Promote speedbar | David Aspinall | 2007-12-14 |
* | Add dynamic enable/disable function for proof-keep-response-history | David Aspinall | 2007-12-13 |
* | Complete maths menu addition | David Aspinall | 2007-12-13 |
* | Additions for maths menu | David Aspinall | 2007-12-12 |
* | Emacs compatibility/API updates: string-to-int -> string-to-number | David Aspinall | 2007-12-10 |
* | Rationalise testing for different values of window-system, to/and support mor... | David Aspinall | 2006-10-27 |
* | Add buffer history browsing | David Aspinall | 2006-09-24 |
* | Fix multiple Isabelle submenus on mode popup. | David Aspinall | 2005-09-30 |
* | Fix to help menu from Timothy Bourke | David Aspinall | 2005-08-10 |
* | Move some keybindings from script mode to universal keys | David Aspinall | 2005-08-10 |
* | Extensions to support PGIP 2.X settings format. | David Aspinall | 2004-08-25 |
* | 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 |