aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-menu.el
AgeCommit message (Collapse)Author
2010-10-04Move mouse button bindings to avoid clashes (patch from Trac #365, Erik ↵David Aspinall
Martin-Dorel)
2010-09-21Adjust menu layout for Quick Options. Add Document Centred and Default ↵David Aspinall
convenience commands.
2010-08-27Implement the eagerly anticipated Beyond Script Management Feature No.2 ↵David Aspinall
(i.e., automatic preview of next command)
2010-08-24Split proof-assistant-settings-cmds and proof-assistant-settings-cmdDavid Aspinall
2010-08-22Use C-c C-H for proof-help as suggested in Trac #341, since C-c h clashes ↵David Aspinall
with holes mode (unfortunately).
2010-08-22Move binding of proof-help from C-c C-h to C-c h (see Trac #341)David Aspinall
2010-08-19Add Fast Process Buffer optionDavid Aspinall
2010-08-15Preliminary and experimental support for automatically sending commands.David Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2010-08-03Move key binding for proof assistant keymap (fixes compilation bug)David Aspinall
2010-08-03Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.David Aspinall
2009-12-03Rework script span element hiding to avoid buffer-invisibility-spec. Add ↵David Aspinall
command elements.
2009-12-02Add proof-sticky-errors to quick options menu.David Aspinall
2009-12-01Remove mention of `proof-script-use-old-parser'.David Aspinall
2009-12-01proof-splice-separator -> mapconcat builtinDavid Aspinall
2009-11-24reverse settings within each group, to prevent upside-down presentation;Makarius Wenzel
2009-09-29Clean up hints about buffer displayDavid Aspinall
2009-09-28Menu entry <PA>-set-command invisible when function undefined (not inactive)David Aspinall
2009-09-27Trace buffer: do not show this trace-output-regexp not setDavid Aspinall
2009-09-27Rotate Output Buffers: do not show this if in three window modeDavid Aspinall
2009-09-27Follow Upper Case Convention for menu entriesDavid Aspinall
2009-09-27Tweak hint textDavid Aspinall
2009-09-27Put Display submenu first in Quick Options menuDavid Aspinall
2009-09-26Shorten menu nameDavid Aspinall
2009-09-21Add Hide/Show to extra modes menuDavid Aspinall
2009-09-21Rearrange options, add customize user options to top level menuDavid Aspinall
2009-09-14Adjust commentDavid Aspinall
2009-09-14Reorganisation Options with Minor Mode submenuDavid Aspinall
2009-09-11Add Read-Only sub menuDavid Aspinall
2009-09-10Experimental changes to queue several commands at once and to allow ↵David Aspinall
pre-processing of commands when they're queued from script
2009-09-10Add proof-minibuffer-messages. Move defpacustom->proof-utils andDavid Aspinall
fix requires.
2009-09-09Cleanup toolbar-toggle and bind to C-c b, fix binding C-c v.David Aspinall
Add "Beep on Errors" setting to menu
2009-09-07(C) dateDavid Aspinall
2009-09-06Avoid easy-menu-define macroDavid Aspinall
2009-09-06Compile with cl. Fix typo.David Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-04replace-in-string -> replace-regexp-in-stringDavid Aspinall
2009-09-04capitalisationDavid Aspinall
2009-08-25Add menu entry for setting proof assistant commandDavid Aspinall
2009-08-14Add key binding for proof-query-identifierDavid Aspinall
2009-08-13Add menu setting to set proof-strict-read-only to 'retractDavid Aspinall
2009-08-07Remove experimental setting. Define toggle function.David Aspinall
2009-08-07proof-colour-locked: complete implementationDavid Aspinall
2009-08-07rename: proof-full-decoration -> proof-full-annotationDavid Aspinall
2009-08-07rename: proof-full-decoration -> proof-full-annotationDavid Aspinall
2009-08-06New configuration variable proof-use-pgip-askprefs. Use setting group names ↵David Aspinall
in menu
2009-07-30Add proof-colour-locked option to leave locked region background uncoloured.David Aspinall
2009-07-30Use descriptions of help items to set menu tooltips (resolve trac #218)David Aspinall
2009-05-26Add proof state hover messages to proof script, along with useful customization.David Aspinall
2009-05-26Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor ↵David Aspinall
cleanups
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 22:16:26 +0000