aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-menu.el
AgeCommit message (Collapse)Author
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 -> ↵David Aspinall
proof-three-window-mode.
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 ↵David Aspinall
PA settings.
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 ↵David Aspinall
proof-disappearing-proofs-toggle
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
2-pane mode
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
function. Bind C-c C-l to proof-display-some-buffers, add to buffer menu. Move start/exit to proof assistant specific menu. Added proof-next-error to menu.
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
2000-05-26Binding for complete.David Aspinall
Proper toggler use for generic option x symbol enable.
2000-05-17Clarify favourites command: key sequence will begin with C-c C-a.David Aspinall
2000-05-16Fix buttons must be 3 long errorDavid Aspinall
2000-05-16Fixes for defining favourites, added warning for pre-release users.David Aspinall
2000-05-12Use (proof-ass X) instead of function call.David Aspinall
2000-05-12Specific keys begin C-c C-a, not C-c a.David Aspinall
2000-05-12Moved utility functions to proof-utils.David Aspinall
2000-05-11Menus and code cleanupDavid Aspinall
2000-05-09Fixup menus.David Aspinall
2000-05-09Fixup loading.David Aspinall
2000-05-09New filesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:22:25 +0000