aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-menu.el
AgeCommit message (Expand)Author
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-18 16:56:40 +0000