aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-menu.el
Commit message (Expand)AuthorAge
* FIXME note added, missing docstring from macro fn def.Gravatar David Aspinall2000-08-28
* Added miscellaneous commands section, with proof-display-some-buffersGravatar David Aspinall2000-06-05
* Added autoloadGravatar David Aspinall2000-06-01
* Allow two strings for boolean settings to handle non-uniformity in CoqGravatar David Aspinall2000-06-01
* Changed 'complete to 'proof-script-complete to use proof-case-fold-search.Gravatar David Aspinall2000-06-01
* Fix keybinding for completion. Add completion to menubar.Gravatar David Aspinall2000-05-31
* New stuff for making proof assistant settings.Gravatar David Aspinall2000-05-29
* Binding for complete.Gravatar David Aspinall2000-05-26
* Clarify favourites command: key sequence will begin with C-c C-a.Gravatar David Aspinall2000-05-17
* Fix buttons must be 3 long errorGravatar David Aspinall2000-05-16
* Fixes for defining favourites, added warning for pre-release users.Gravatar David Aspinall2000-05-16
* Use (proof-ass X) instead of function call.Gravatar David Aspinall2000-05-12
* Specific keys begin C-c C-a, not C-c a.Gravatar David Aspinall2000-05-12
* Moved utility functions to proof-utils.Gravatar David Aspinall2000-05-12
* Menus and code cleanupGravatar David Aspinall2000-05-11
* Fixup menus.Gravatar David Aspinall2000-05-09
* Fixup loading.Gravatar David Aspinall2000-05-09
* New filesGravatar David Aspinall2000-05-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 11:19:19 +0000