aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-menu.el
Commit message (Expand)AuthorAge
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Disable Unicode Tokens 2Gravatar David Aspinall2008-07-10
* 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
* Comments re trac #187Gravatar David Aspinall2008-01-30
* Add Unicode Tokens menu item; prevent (easily) selecting Unicode TokensGravatar David Aspinall2008-01-29
* 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 com...Gravatar David Aspinall2008-01-17
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* 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 mor...Gravatar David Aspinall2006-10-27
* 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
* 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, proof-de...Gravatar David Aspinall2004-04-17
* 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 menu...Gravatar David Aspinall2003-03-17
* 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
* Add support for MMM modeGravatar David Aspinall2003-02-18
* Compatibility function for customize-menu-createGravatar David Aspinall2003-02-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-21 04:24:37 +0000