aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-menu.el
AgeCommit message (Expand)Author
2008-02-06proof-quick-opts-vars: add <PA>-unicode-tokens-enableDavid Aspinall
2008-01-31Disable X-Symbol on emacs >= 23. Internal interfaces have changedDavid Aspinall
2008-01-30Comments re trac #187David Aspinall
2008-01-29Add Unicode Tokens menu item; prevent (easily) selecting Unicode TokensDavid Aspinall
2008-01-25Remove unicode tokens from menu, this is experimental.David Aspinall
2008-01-25Remove unicode tokens from menu, this is experimental.David Aspinall
2008-01-25Add unicode-tokens-enableDavid Aspinall
2008-01-17Remove dummy defvars, which cause errors if proof-menu is required during com...David Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2007-12-14Remove response history (delay for 3.7.1). Promote speedbarDavid Aspinall
2007-12-13Add dynamic enable/disable function for proof-keep-response-historyDavid Aspinall
2007-12-13Complete maths menu additionDavid Aspinall
2007-12-12Additions for maths menuDavid Aspinall
2007-12-10Emacs compatibility/API updates: string-to-int -> string-to-numberDavid Aspinall
2006-10-27Rationalise testing for different values of window-system, to/and support mor...David Aspinall
2006-09-24Add buffer history browsingDavid Aspinall
2005-09-30Fix multiple Isabelle submenus on mode popup.David Aspinall
2005-08-10Fix to help menu from Timothy BourkeDavid Aspinall
2005-08-10Move some keybindings from script mode to universal keysDavid Aspinall
2004-08-25Extensions to support PGIP 2.X settings format.David Aspinall
2004-06-13Generalise proof-def-invisible.David Aspinall
2004-04-26Add compatibility hack for Emacs 21.2.1 customize-menu-createDavid Aspinall
2004-04-24Add proof-shell-require-command-regexp, proof-done-advancing-require-functionDavid Aspinall
2004-04-22Allow empty :setting, :eval in defpacustom.David Aspinall
2004-04-17Fix bug in replace-in-string for GNU EmacsDavid Aspinall
2004-04-17Oops, remove junk.David Aspinall
2004-04-17Escape the string from substitute-command-keys in proof-defshortcut, proof-de...David Aspinall
2004-04-17Capitalization.David Aspinall
2004-04-15Gerwins bug had snuck back in. Reenable customize menus for GNU EmacsDavid Aspinall
2004-04-15Add back menu for displaying associated buffers (suggestion of Norbert Schirmer)David Aspinall
2004-04-14Add Index Menu and Speedbar menu entries; remove Function Menu.David Aspinall
2004-04-13Abstract out proof-maybe-askprefsDavid Aspinall
2004-04-13Add hint to C-c C-l; cleanup hints, add menu for C-c C-lDavid Aspinall
2004-04-02Overhaul and fixes for display management.David Aspinall
2004-03-02Fix a few compiler warningsDavid Aspinall
2003-06-08Add insert last output onto menuDavid Aspinall
2003-05-24Include next buffer in hint for rotate buffersDavid Aspinall
2003-05-24Switch order of buffers displayed by C-c C-l. Add hint.David Aspinall
2003-05-21Add option menu item for dectivate scripting auto actionDavid Aspinall
2003-03-17Allow proof-strict-read-only to be changed dyamically, add to quick opts menu...David Aspinall
2003-03-14Add requires to reduce compilation warnings.David Aspinall
2003-02-24Fix proofdefinvisible, proofdefshortcut to work in compiled versionDavid Aspinall
2003-02-19Docs; same safe-fail for MMM as X-Symbol.David Aspinall
2003-02-19Leave packages' own hooks (X-Symbol, MMM) to deal with turning on orDavid Aspinall
2003-02-18Add support for MMM modeDavid Aspinall
2003-02-05Compatibility function for customize-menu-createDavid Aspinall
2002-12-29Add followdown mode; compat noteDavid Aspinall
2002-11-20Autoload proof-definvisibleDavid Aspinall
2002-11-20CommentDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 10:03:11 +0000