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
*
Split proof-assistant-settings-cmds and proof-assistant-settings-cmd
David Aspinall
2010-08-24
*
Use C-c C-H for proof-help as suggested in Trac #341, since C-c h clashes wit...
David Aspinall
2010-08-22
*
Move binding of proof-help from C-c C-h to C-c h (see Trac #341)
David Aspinall
2010-08-22
*
Add Fast Process Buffer option
David Aspinall
2010-08-19
*
Preliminary and experimental support for automatically sending commands.
David Aspinall
2010-08-15
*
Checkdoc cleanups
David Aspinall
2010-08-08
*
Move key binding for proof assistant keymap (fixes compilation bug)
David Aspinall
2010-08-03
*
Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.
David Aspinall
2010-08-03
*
Rework script span element hiding to avoid buffer-invisibility-spec. Add com...
David Aspinall
2009-12-03
*
Add proof-sticky-errors to quick options menu.
David Aspinall
2009-12-02
*
Remove mention of `proof-script-use-old-parser'.
David Aspinall
2009-12-01
*
proof-splice-separator -> mapconcat builtin
David Aspinall
2009-12-01
*
reverse settings within each group, to prevent upside-down presentation;
Makarius Wenzel
2009-11-24
*
Clean up hints about buffer display
David Aspinall
2009-09-29
*
Menu entry <PA>-set-command invisible when function undefined (not inactive)
David Aspinall
2009-09-28
*
Trace buffer: do not show this trace-output-regexp not set
David Aspinall
2009-09-27
*
Rotate Output Buffers: do not show this if in three window mode
David Aspinall
2009-09-27
*
Follow Upper Case Convention for menu entries
David Aspinall
2009-09-27
*
Tweak hint text
David Aspinall
2009-09-27
*
Put Display submenu first in Quick Options menu
David Aspinall
2009-09-27
*
Shorten menu name
David Aspinall
2009-09-26
*
Add Hide/Show to extra modes menu
David Aspinall
2009-09-21
*
Rearrange options, add customize user options to top level menu
David Aspinall
2009-09-21
*
Adjust comment
David Aspinall
2009-09-14
*
Reorganisation Options with Minor Mode submenu
David Aspinall
2009-09-14
*
Add Read-Only sub menu
David Aspinall
2009-09-11
*
Experimental changes to queue several commands at once and to allow pre-proce...
David Aspinall
2009-09-10
*
Add proof-minibuffer-messages. Move defpacustom->proof-utils and
David Aspinall
2009-09-10
*
Cleanup toolbar-toggle and bind to C-c b, fix binding C-c v.
David Aspinall
2009-09-09
*
(C) date
David Aspinall
2009-09-07
*
Avoid easy-menu-define macro
David Aspinall
2009-09-06
*
Compile with cl. Fix typo.
David Aspinall
2009-09-06
*
Clean whitespace
David Aspinall
2009-09-05
*
replace-in-string -> replace-regexp-in-string
David Aspinall
2009-09-04
*
capitalisation
David Aspinall
2009-09-04
*
Add menu entry for setting proof assistant command
David Aspinall
2009-08-25
*
Add key binding for proof-query-identifier
David Aspinall
2009-08-14
*
Add menu setting to set proof-strict-read-only to 'retract
David Aspinall
2009-08-13
*
Remove experimental setting. Define toggle function.
David Aspinall
2009-08-07
*
proof-colour-locked: complete implementation
David Aspinall
2009-08-07
*
rename: proof-full-decoration -> proof-full-annotation
David Aspinall
2009-08-07
*
rename: proof-full-decoration -> proof-full-annotation
David Aspinall
2009-08-07
*
New configuration variable proof-use-pgip-askprefs. Use setting group names ...
David Aspinall
2009-08-06
*
Add proof-colour-locked option to leave locked region background uncoloured.
David Aspinall
2009-07-30
*
Use descriptions of help items to set menu tooltips (resolve trac #218)
David Aspinall
2009-07-30
*
Add proof state hover messages to proof script, along with useful customization.
David Aspinall
2009-05-26
*
Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...
David Aspinall
2009-05-26
*
Fix type in calls to toggle functions
David Aspinall
2008-08-03
*
Fix for deferred loading of maths menu and unicode tokens.
David Aspinall
2008-07-24
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
[next]