aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-menu.el
AgeCommit message (Expand)Author
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
2001-07-23Prevent error msg in proof-display-some-buffers if response dead.David Aspinall
2001-07-09Clean for compile: new autloadDavid Aspinall
2001-05-08Copyright date updatedDavid Aspinall
2000-12-14Add bindings for pg-insert-last-output-as-comment and proof-disappearing-proo...David Aspinall
2000-09-29Non existent get-window-buffer -> get-buffer-window (how did that get through?)David Aspinall
2000-09-28Added fly past comments to quick opts menu when new parsing mechanism active.David Aspinall
2000-09-23proof-display-some-buffers moves point to end of output in response buffer.David Aspinall
2000-09-23proof-display-some-buffers improved: toggles between goals and response inDavid Aspinall
2000-08-28FIXME note added, missing docstring from macro fn def.David Aspinall
2000-06-05Added miscellaneous commands section, with proof-display-some-buffersDavid Aspinall
2000-06-01Added autoloadDavid Aspinall
2000-06-01Allow two strings for boolean settings to handle non-uniformity in CoqDavid Aspinall
2000-06-01Changed 'complete to 'proof-script-complete to use proof-case-fold-search.David Aspinall
2000-05-31Fix keybinding for completion. Add completion to menubar.David Aspinall
2000-05-29New stuff for making proof assistant settings.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 06:32:16 +0000