aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-menu.el
Commit message (Expand)AuthorAge
* Disable fly past comments for old parser again.Gravatar David Aspinall2002-06-24
* GPLGravatar David Aspinall2002-06-21
* Match FSF C-button3 binding with XEmacs oneGravatar David Aspinall2002-06-19
* SpacingGravatar David Aspinall2002-06-08
* Added activations for frame/window controls.Gravatar David Aspinall2002-03-21
* Disable customize-menu-create for Emacs 21.Gravatar David Aspinall2001-12-11
* Allow toolbar toggle for GNU Emacs 21.Gravatar David Aspinall2001-12-11
* Add keybindings for new commands for moving/navigating spans.Gravatar David Aspinall2001-09-05
* Skip settings which have no PA command in proof-assistant-settings-cmdGravatar David Aspinall2001-08-31
* Add :eval form for defpacustom to define PA-specific PG settings as well as P...Gravatar David Aspinall2001-08-30
* Prevent error msg in proof-display-some-buffers if response dead.Gravatar David Aspinall2001-07-23
* Clean for compile: new autloadGravatar David Aspinall2001-07-09
* Copyright date updatedGravatar David Aspinall2001-05-08
* Add bindings for pg-insert-last-output-as-comment and proof-disappearing-proo...Gravatar David Aspinall2000-12-14
* Non existent get-window-buffer -> get-buffer-window (how did that get through?)Gravatar David Aspinall2000-09-29
* Added fly past comments to quick opts menu when new parsing mechanism active.Gravatar David Aspinall2000-09-28
* proof-display-some-buffers moves point to end of output in response buffer.Gravatar David Aspinall2000-09-23
* proof-display-some-buffers improved: toggles between goals and response inGravatar David Aspinall2000-09-23
* 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-13 19:00:44 +0000