aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-menu.el
AgeCommit message (Expand)Author
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
2000-05-26Binding for complete.David Aspinall
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-02-05 08:00:50 +0000