aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-menu.el
AgeCommit message (Collapse)Author
2008-01-17Remove dummy defvars, which cause errors if proof-menu is required during ↵David Aspinall
compile. Add keybindings for history. Move About menu item.
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, ↵David Aspinall
namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
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 ↵David Aspinall
more Emacs ports easily
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
to support multiple files in Coq. Move some keybindings to proof-universal-keys (esp. C-c C-l).
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, ↵David Aspinall
proof-definvisible.
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 ↵David Aspinall
menu in place of output highlight setting.
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
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!).
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
only if prover configured.
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 00:59:19 +0000