aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-menu.el
AgeCommit message (Expand)Author
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
2002-11-20Fix typo.David Aspinall
2002-11-20Add reset options, and save/reset settings items.David Aspinall
2002-11-18Support redefinitions in proof-defpacustom-fn, by removing custom settings.David Aspinall
2002-11-14Add proof-assistant-menu-update, allow redefine of setting in pacustom.David Aspinall
2002-09-11Fix proof-quick-opts-save to match menuDavid Aspinall
2002-09-11Add :visible support. Minor reorganisation.David Aspinall
2002-09-04generic/proof-menu: move electric terminator, show specific; Help menu items ...David Aspinall
2002-08-29Make C-c C-w appear on binding listDavid Aspinall
2002-08-29Simplify menu structure further by adding Advanced menu.David Aspinall
2002-08-28Comments: possible fix to compiles.David Aspinall
2002-08-28Fix for docstrings in proof-def-shortcut, proof-def-invisible.David Aspinall
2002-08-27proof-assistant-format: always pass through proof-assistant-setting-format;Makarius Wenzel
2002-08-27Move C-c C-w to universal keysDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:50:14 +0000