Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | TEMPORARY: add unicode-tokens2 mechanism to test across different machines | 2008-07-05 | |
| | |||
* | proof-quick-opts-vars: add <PA>-unicode-tokens-enable | 2008-02-06 | |
| | |||
* | Disable X-Symbol on emacs >= 23. Internal interfaces have changed | 2008-01-31 | |
| | | | | | there for x-complement-fontset-spec. It may be possible to fix without much work, but isn't immediately obvious. | ||
* | Comments re trac #187 | 2008-01-30 | |
| | |||
* | Add Unicode Tokens menu item; prevent (easily) selecting Unicode Tokens | 2008-01-29 | |
| | | | | and X-Symbols at the same time, which will surely lead to evil confusion. | ||
* | Remove unicode tokens from menu, this is experimental. | 2008-01-25 | |
| | |||
* | Remove unicode tokens from menu, this is experimental. | 2008-01-25 | |
| | |||
* | Add unicode-tokens-enable | 2008-01-25 | |
| | |||
* | Remove dummy defvars, which cause errors if proof-menu is required during ↵ | 2008-01-17 | |
| | | | | compile. Add keybindings for history. Move About menu item. | ||
* | Reduce compiler warnings. Minor fixes. | 2008-01-16 | |
| | |||
* | Many rearrangements for compatibility, efficient/correct compilation, ↵ | 2008-01-15 | |
| | | | | | | | namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs). | ||
* | Remove response history (delay for 3.7.1). Promote speedbar | 2007-12-14 | |
| | |||
* | Add dynamic enable/disable function for proof-keep-response-history | 2007-12-13 | |
| | |||
* | Complete maths menu addition | 2007-12-13 | |
| | |||
* | Additions for maths menu | 2007-12-12 | |
| | |||
* | Emacs compatibility/API updates: string-to-int -> string-to-number | 2007-12-10 | |
| | |||
* | Rationalise testing for different values of window-system, to/and support ↵ | 2006-10-27 | |
| | | | | more Emacs ports easily | ||
* | Add buffer history browsing | 2006-09-24 | |
| | |||
* | Fix multiple Isabelle submenus on mode popup. | 2005-09-30 | |
| | |||
* | Fix to help menu from Timothy Bourke | 2005-08-10 | |
| | |||
* | Move some keybindings from script mode to universal keys | 2005-08-10 | |
| | |||
* | Extensions to support PGIP 2.X settings format. | 2004-08-25 | |
| | |||
* | Generalise proof-def-invisible. | 2004-06-13 | |
| | |||
* | Add compatibility hack for Emacs 21.2.1 customize-menu-create | 2004-04-26 | |
| | |||
* | Add proof-shell-require-command-regexp, proof-done-advancing-require-function | 2004-04-24 | |
| | | | | | to support multiple files in Coq. Move some keybindings to proof-universal-keys (esp. C-c C-l). | ||
* | Allow empty :setting, :eval in defpacustom. | 2004-04-22 | |
| | |||
* | Fix bug in replace-in-string for GNU Emacs | 2004-04-17 | |
| | |||
* | Oops, remove junk. | 2004-04-17 | |
| | |||
* | Escape the string from substitute-command-keys in proof-defshortcut, ↵ | 2004-04-17 | |
| | | | | proof-definvisible. | ||
* | Capitalization. | 2004-04-17 | |
| | |||
* | Gerwins bug had snuck back in. Reenable customize menus for GNU Emacs | 2004-04-15 | |
| | |||
* | Add back menu for displaying associated buffers (suggestion of Norbert Schirmer) | 2004-04-15 | |
| | |||
* | Add Index Menu and Speedbar menu entries; remove Function Menu. | 2004-04-14 | |
| | |||
* | Abstract out proof-maybe-askprefs | 2004-04-13 | |
| | |||
* | Add hint to C-c C-l; cleanup hints, add menu for C-c C-l | 2004-04-13 | |
| | |||
* | Overhaul and fixes for display management. | 2004-04-02 | |
| | |||
* | Fix a few compiler warnings | 2004-03-02 | |
| | |||
* | Add insert last output onto menu | 2003-06-08 | |
| | |||
* | Include next buffer in hint for rotate buffers | 2003-05-24 | |
| | |||
* | Switch order of buffers displayed by C-c C-l. Add hint. | 2003-05-24 | |
| | |||
* | Add option menu item for dectivate scripting auto action | 2003-05-21 | |
| | |||
* | Allow proof-strict-read-only to be changed dyamically, add to quick opts ↵ | 2003-03-17 | |
| | | | | menu in place of output highlight setting. | ||
* | Add requires to reduce compilation warnings. | 2003-03-14 | |
| | |||
* | Fix proofdefinvisible, proofdefshortcut to work in compiled version | 2003-02-24 | |
| | |||
* | Docs; same safe-fail for MMM as X-Symbol. | 2003-02-19 | |
| | |||
* | Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or | 2003-02-19 | |
| | | | | | | | | off minor modes in buffers automatically. Now the PG setting controls the "default global for PG buffers" for each of these. The menu checkbox simply displays the current minor mode status. When this is changed, the PG global mode follows suit. We do not try to apply the change to all PG buffers (30 minutes of fontification!). | ||
* | Add support for MMM mode | 2003-02-18 | |
| | |||
* | Compatibility function for customize-menu-create | 2003-02-05 | |
| | |||
* | Add followdown mode; compat note | 2002-12-29 | |
| | |||
* | Autoload proof-definvisible | 2002-11-20 | |
| |