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
*
merge ProofTreeBranch into main trunk:
Hendrik Tews
2012-01-03
*
Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...
David Aspinall
2011-10-13
*
Capitalize menu items
David Aspinall
2011-08-24
*
Remove PG prefix from toolbar button names (needed for disambiguity in older ...
David Aspinall
2011-08-23
*
Add proof-output-tooltips option to turn off output highlighting for people w...
David Aspinall
2011-04-13
*
Only make settings commands for dynamic settings which differ from their defa...
David Aspinall
2011-01-31
*
Make proof-assistant-settings follow currently available dynamic settings, an...
David Aspinall
2011-01-31
*
Improve handling of dynamic preferences. Addresses Trac #387.
David Aspinall
2011-01-31
*
Remove comment
David Aspinall
2011-01-12
*
Add additional support for pgipfloat type
David Aspinall
2011-01-11
*
Patch to add pgipfloat type.
David Aspinall
2010-12-16
*
Move mouse button bindings to avoid clashes (patch from Trac #365, Erik Marti...
David Aspinall
2010-10-04
*
Adjust menu layout for Quick Options. Add Document Centred and Default conve...
David Aspinall
2010-09-21
*
Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....
David Aspinall
2010-08-27
*
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
[next]