aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-menu.el
Commit message (Collapse)AuthorAge
* TEMPORARY: add unicode-tokens2 mechanism to test across different machinesGravatar David Aspinall2008-07-05
|
* proof-quick-opts-vars: add <PA>-unicode-tokens-enableGravatar David Aspinall2008-02-06
|
* Disable X-Symbol on emacs >= 23. Internal interfaces have changedGravatar David Aspinall2008-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 #187Gravatar David Aspinall2008-01-30
|
* Add Unicode Tokens menu item; prevent (easily) selecting Unicode TokensGravatar David Aspinall2008-01-29
| | | | and X-Symbols at the same time, which will surely lead to evil confusion.
* Remove unicode tokens from menu, this is experimental.Gravatar David Aspinall2008-01-25
|
* Remove unicode tokens from menu, this is experimental.Gravatar David Aspinall2008-01-25
|
* Add unicode-tokens-enableGravatar David Aspinall2008-01-25
|
* Remove dummy defvars, which cause errors if proof-menu is required during ↵Gravatar David Aspinall2008-01-17
| | | | compile. Add keybindings for history. Move About menu item.
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
|
* Many rearrangements for compatibility, efficient/correct compilation, ↵Gravatar David Aspinall2008-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 speedbarGravatar David Aspinall2007-12-14
|
* Add dynamic enable/disable function for proof-keep-response-historyGravatar David Aspinall2007-12-13
|
* Complete maths menu additionGravatar David Aspinall2007-12-13
|
* Additions for maths menuGravatar David Aspinall2007-12-12
|
* Emacs compatibility/API updates: string-to-int -> string-to-numberGravatar David Aspinall2007-12-10
|
* Rationalise testing for different values of window-system, to/and support ↵Gravatar David Aspinall2006-10-27
| | | | more Emacs ports easily
* Add buffer history browsingGravatar David Aspinall2006-09-24
|
* Fix multiple Isabelle submenus on mode popup.Gravatar David Aspinall2005-09-30
|
* Fix to help menu from Timothy BourkeGravatar David Aspinall2005-08-10
|
* Move some keybindings from script mode to universal keysGravatar David Aspinall2005-08-10
|
* Extensions to support PGIP 2.X settings format.Gravatar David Aspinall2004-08-25
|
* Generalise proof-def-invisible.Gravatar David Aspinall2004-06-13
|
* Add compatibility hack for Emacs 21.2.1 customize-menu-createGravatar David Aspinall2004-04-26
|
* Add proof-shell-require-command-regexp, proof-done-advancing-require-functionGravatar David Aspinall2004-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.Gravatar David Aspinall2004-04-22
|
* Fix bug in replace-in-string for GNU EmacsGravatar David Aspinall2004-04-17
|
* Oops, remove junk.Gravatar David Aspinall2004-04-17
|
* Escape the string from substitute-command-keys in proof-defshortcut, ↵Gravatar David Aspinall2004-04-17
| | | | proof-definvisible.
* Capitalization.Gravatar David Aspinall2004-04-17
|
* Gerwins bug had snuck back in. Reenable customize menus for GNU EmacsGravatar David Aspinall2004-04-15
|
* Add back menu for displaying associated buffers (suggestion of Norbert Schirmer)Gravatar David Aspinall2004-04-15
|
* Add Index Menu and Speedbar menu entries; remove Function Menu.Gravatar David Aspinall2004-04-14
|
* Abstract out proof-maybe-askprefsGravatar David Aspinall2004-04-13
|
* Add hint to C-c C-l; cleanup hints, add menu for C-c C-lGravatar David Aspinall2004-04-13
|
* Overhaul and fixes for display management.Gravatar David Aspinall2004-04-02
|
* Fix a few compiler warningsGravatar David Aspinall2004-03-02
|
* Add insert last output onto menuGravatar David Aspinall2003-06-08
|
* Include next buffer in hint for rotate buffersGravatar David Aspinall2003-05-24
|
* Switch order of buffers displayed by C-c C-l. Add hint.Gravatar David Aspinall2003-05-24
|
* Add option menu item for dectivate scripting auto actionGravatar David Aspinall2003-05-21
|
* Allow proof-strict-read-only to be changed dyamically, add to quick opts ↵Gravatar David Aspinall2003-03-17
| | | | menu in place of output highlight setting.
* Add requires to reduce compilation warnings.Gravatar David Aspinall2003-03-14
|
* Fix proofdefinvisible, proofdefshortcut to work in compiled versionGravatar David Aspinall2003-02-24
|
* Docs; same safe-fail for MMM as X-Symbol.Gravatar David Aspinall2003-02-19
|
* Leave packages' own hooks (X-Symbol, MMM) to deal with turning on orGravatar David Aspinall2003-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 modeGravatar David Aspinall2003-02-18
|
* Compatibility function for customize-menu-createGravatar David Aspinall2003-02-05
|
* Add followdown mode; compat noteGravatar David Aspinall2002-12-29
|
* Autoload proof-definvisibleGravatar David Aspinall2002-11-20
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-02 20:05:17 +0000