| Commit message (Expand) | Author | Age |
... | |
* | Cleanup toolbar-toggle and bind to C-c b, fix binding C-c v. | David Aspinall | 2009-09-09 |
* | (C) date | David Aspinall | 2009-09-07 |
* | Avoid easy-menu-define macro | David Aspinall | 2009-09-06 |
* | Compile with cl. Fix typo. | David Aspinall | 2009-09-06 |
* | Clean whitespace | David Aspinall | 2009-09-05 |
* | replace-in-string -> replace-regexp-in-string | David Aspinall | 2009-09-04 |
* | capitalisation | David Aspinall | 2009-09-04 |
* | Add menu entry for setting proof assistant command | David Aspinall | 2009-08-25 |
* | Add key binding for proof-query-identifier | David Aspinall | 2009-08-14 |
* | Add menu setting to set proof-strict-read-only to 'retract | David Aspinall | 2009-08-13 |
* | Remove experimental setting. Define toggle function. | David Aspinall | 2009-08-07 |
* | proof-colour-locked: complete implementation | David Aspinall | 2009-08-07 |
* | rename: proof-full-decoration -> proof-full-annotation | David Aspinall | 2009-08-07 |
* | rename: proof-full-decoration -> proof-full-annotation | David Aspinall | 2009-08-07 |
* | New configuration variable proof-use-pgip-askprefs. Use setting group names ... | David Aspinall | 2009-08-06 |
* | Add proof-colour-locked option to leave locked region background uncoloured. | David Aspinall | 2009-07-30 |
* | Use descriptions of help items to set menu tooltips (resolve trac #218) | David Aspinall | 2009-07-30 |
* | 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 |