index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-menu.el
Commit message (
Expand
)
Author
Age
*
Disable customize-menu-create for Emacs 21.
David Aspinall
2001-12-11
*
Allow toolbar toggle for GNU Emacs 21.
David Aspinall
2001-12-11
*
Add keybindings for new commands for moving/navigating spans.
David Aspinall
2001-09-05
*
Skip settings which have no PA command in proof-assistant-settings-cmd
David Aspinall
2001-08-31
*
Add :eval form for defpacustom to define PA-specific PG settings as well as P...
David Aspinall
2001-08-30
*
Prevent error msg in proof-display-some-buffers if response dead.
David Aspinall
2001-07-23
*
Clean for compile: new autload
David Aspinall
2001-07-09
*
Copyright date updated
David Aspinall
2001-05-08
*
Add bindings for pg-insert-last-output-as-comment and proof-disappearing-proo...
David Aspinall
2000-12-14
*
Non existent get-window-buffer -> get-buffer-window (how did that get through?)
David Aspinall
2000-09-29
*
Added fly past comments to quick opts menu when new parsing mechanism active.
David Aspinall
2000-09-28
*
proof-display-some-buffers moves point to end of output in response buffer.
David Aspinall
2000-09-23
*
proof-display-some-buffers improved: toggles between goals and response in
David Aspinall
2000-09-23
*
FIXME note added, missing docstring from macro fn def.
David Aspinall
2000-08-28
*
Added miscellaneous commands section, with proof-display-some-buffers
David Aspinall
2000-06-05
*
Added autoload
David Aspinall
2000-06-01
*
Allow two strings for boolean settings to handle non-uniformity in Coq
David Aspinall
2000-06-01
*
Changed 'complete to 'proof-script-complete to use proof-case-fold-search.
David Aspinall
2000-06-01
*
Fix keybinding for completion. Add completion to menubar.
David Aspinall
2000-05-31
*
New stuff for making proof assistant settings.
David Aspinall
2000-05-29
*
Binding for complete.
David Aspinall
2000-05-26
*
Clarify favourites command: key sequence will begin with C-c C-a.
David Aspinall
2000-05-17
*
Fix buttons must be 3 long error
David Aspinall
2000-05-16
*
Fixes for defining favourites, added warning for pre-release users.
David Aspinall
2000-05-16
*
Use (proof-ass X) instead of function call.
David Aspinall
2000-05-12
*
Specific keys begin C-c C-a, not C-c a.
David Aspinall
2000-05-12
*
Moved utility functions to proof-utils.
David Aspinall
2000-05-12
*
Menus and code cleanup
David Aspinall
2000-05-11
*
Fixup menus.
David Aspinall
2000-05-09
*
Fixup loading.
David Aspinall
2000-05-09
*
New files
David Aspinall
2000-05-09