aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-menu.el
AgeCommit message (Expand)Author
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
2002-08-27Key for pg-response-clear-displays.David Aspinall
2002-08-27ConventionsDavid Aspinall
2002-08-27Menu entry to clear response buffers.David Aspinall
2002-08-15Small fixesDavid Aspinall
2002-08-08Generalise proof elements to include comments, show/hiding of comments.David Aspinall
2002-08-08Allow favourite saving when user wants.David Aspinall
2002-08-07Fix proof-quick-opts-save. Rename proof-dont-switch-windows -> proof-three-w...David Aspinall
2002-08-07Trace buffer opt always enabled. Failed fix attempt for proof-quick-opts-save.David Aspinall
2002-08-07Reorganized menus; add options save function; fix capitalization of namesDavid Aspinall
2002-07-19Make favourites mechanism more robust; add delete command.David Aspinall
2002-06-24Disable fly past comments for old parser again.David Aspinall
2002-06-21GPLDavid Aspinall
2002-06-19Match FSF C-button3 binding with XEmacs oneDavid Aspinall
2002-06-08SpacingDavid Aspinall
2002-03-21Added activations for frame/window controls.David Aspinall
2001-12-11Disable customize-menu-create for Emacs 21.David Aspinall
2001-12-11Allow toolbar toggle for GNU Emacs 21.David Aspinall
2001-09-05Add keybindings for new commands for moving/navigating spans.David Aspinall
2001-08-31Skip settings which have no PA command in proof-assistant-settings-cmdDavid Aspinall
2001-08-30Add :eval form for defpacustom to define PA-specific PG settings as well as P...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 19:57:21 +0000