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
...
*
Comment
David Aspinall
2002-11-20
*
Fix typo.
David Aspinall
2002-11-20
*
Add reset options, and save/reset settings items.
David Aspinall
2002-11-20
*
Support redefinitions in proof-defpacustom-fn, by removing custom settings.
David Aspinall
2002-11-18
*
Add proof-assistant-menu-update, allow redefine of setting in pacustom.
David Aspinall
2002-11-14
*
Fix proof-quick-opts-save to match menu
David Aspinall
2002-09-11
*
Add :visible support. Minor reorganisation.
David Aspinall
2002-09-11
*
generic/proof-menu: move electric terminator, show specific; Help menu items ...
David Aspinall
2002-09-04
*
Make C-c C-w appear on binding list
David Aspinall
2002-08-29
*
Simplify menu structure further by adding Advanced menu.
David Aspinall
2002-08-29
*
Comments: possible fix to compiles.
David Aspinall
2002-08-28
*
Fix for docstrings in proof-def-shortcut, proof-def-invisible.
David Aspinall
2002-08-28
*
proof-assistant-format: always pass through proof-assistant-setting-format;
Makarius Wenzel
2002-08-27
*
Move C-c C-w to universal keys
David Aspinall
2002-08-27
*
Key for pg-response-clear-displays.
David Aspinall
2002-08-27
*
Conventions
David Aspinall
2002-08-27
*
Menu entry to clear response buffers.
David Aspinall
2002-08-27
*
Small fixes
David Aspinall
2002-08-15
*
Generalise proof elements to include comments, show/hiding of comments.
David Aspinall
2002-08-08
*
Allow favourite saving when user wants.
David Aspinall
2002-08-08
*
Fix proof-quick-opts-save. Rename proof-dont-switch-windows -> proof-three-w...
David Aspinall
2002-08-07
*
Trace buffer opt always enabled. Failed fix attempt for proof-quick-opts-save.
David Aspinall
2002-08-07
*
Reorganized menus; add options save function; fix capitalization of names
David Aspinall
2002-08-07
*
Make favourites mechanism more robust; add delete command.
David Aspinall
2002-07-19
*
Disable fly past comments for old parser again.
David Aspinall
2002-06-24
*
GPL
David Aspinall
2002-06-21
*
Match FSF C-button3 binding with XEmacs one
David Aspinall
2002-06-19
*
Spacing
David Aspinall
2002-06-08
*
Added activations for frame/window controls.
David Aspinall
2002-03-21
*
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
[prev]
[next]