aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-menu.el
Commit message (Collapse)AuthorAge
* Split proof-assistant-settings-cmds and proof-assistant-settings-cmdGravatar David Aspinall2010-08-24
|
* Use C-c C-H for proof-help as suggested in Trac #341, since C-c h clashes ↵Gravatar David Aspinall2010-08-22
| | | | | | with holes mode (unfortunately).
* Move binding of proof-help from C-c C-h to C-c h (see Trac #341)Gravatar David Aspinall2010-08-22
|
* Add Fast Process Buffer optionGravatar David Aspinall2010-08-19
|
* Preliminary and experimental support for automatically sending commands.Gravatar David Aspinall2010-08-15
|
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
|
* Move key binding for proof assistant keymap (fixes compilation bug)Gravatar David Aspinall2010-08-03
|
* Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.Gravatar David Aspinall2010-08-03
|
* Rework script span element hiding to avoid buffer-invisibility-spec. Add ↵Gravatar David Aspinall2009-12-03
| | | | command elements.
* Add proof-sticky-errors to quick options menu.Gravatar David Aspinall2009-12-02
|
* Remove mention of `proof-script-use-old-parser'.Gravatar David Aspinall2009-12-01
|
* proof-splice-separator -> mapconcat builtinGravatar David Aspinall2009-12-01
|
* reverse settings within each group, to prevent upside-down presentation;Gravatar Makarius Wenzel2009-11-24
|
* Clean up hints about buffer displayGravatar David Aspinall2009-09-29
|
* Menu entry <PA>-set-command invisible when function undefined (not inactive)Gravatar David Aspinall2009-09-28
|
* Trace buffer: do not show this trace-output-regexp not setGravatar David Aspinall2009-09-27
|
* Rotate Output Buffers: do not show this if in three window modeGravatar David Aspinall2009-09-27
|
* Follow Upper Case Convention for menu entriesGravatar David Aspinall2009-09-27
|
* Tweak hint textGravatar David Aspinall2009-09-27
|
* Put Display submenu first in Quick Options menuGravatar David Aspinall2009-09-27
|
* Shorten menu nameGravatar David Aspinall2009-09-26
|
* Add Hide/Show to extra modes menuGravatar David Aspinall2009-09-21
|
* Rearrange options, add customize user options to top level menuGravatar David Aspinall2009-09-21
|
* Adjust commentGravatar David Aspinall2009-09-14
|
* Reorganisation Options with Minor Mode submenuGravatar David Aspinall2009-09-14
|
* Add Read-Only sub menuGravatar David Aspinall2009-09-11
|
* Experimental changes to queue several commands at once and to allow ↵Gravatar David Aspinall2009-09-10
| | | | pre-processing of commands when they're queued from script
* Add proof-minibuffer-messages. Move defpacustom->proof-utils andGravatar David Aspinall2009-09-10
| | | | fix requires.
* Cleanup toolbar-toggle and bind to C-c b, fix binding C-c v.Gravatar David Aspinall2009-09-09
| | | | Add "Beep on Errors" setting to menu
* (C) dateGravatar David Aspinall2009-09-07
|
* Avoid easy-menu-define macroGravatar David Aspinall2009-09-06
|
* Compile with cl. Fix typo.Gravatar David Aspinall2009-09-06
|
* Clean whitespaceGravatar David Aspinall2009-09-05
|
* replace-in-string -> replace-regexp-in-stringGravatar David Aspinall2009-09-04
|
* capitalisationGravatar David Aspinall2009-09-04
|
* Add menu entry for setting proof assistant commandGravatar David Aspinall2009-08-25
|
* Add key binding for proof-query-identifierGravatar David Aspinall2009-08-14
|
* Add menu setting to set proof-strict-read-only to 'retractGravatar David Aspinall2009-08-13
|
* Remove experimental setting. Define toggle function.Gravatar David Aspinall2009-08-07
|
* proof-colour-locked: complete implementationGravatar David Aspinall2009-08-07
|
* rename: proof-full-decoration -> proof-full-annotationGravatar David Aspinall2009-08-07
|
* rename: proof-full-decoration -> proof-full-annotationGravatar David Aspinall2009-08-07
|
* New configuration variable proof-use-pgip-askprefs. Use setting group names ↵Gravatar David Aspinall2009-08-06
| | | | in menu
* Add proof-colour-locked option to leave locked region background uncoloured.Gravatar David Aspinall2009-07-30
|
* Use descriptions of help items to set menu tooltips (resolve trac #218)Gravatar David Aspinall2009-07-30
|
* Add proof state hover messages to proof script, along with useful customization.Gravatar David Aspinall2009-05-26
|
* Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor ↵Gravatar David Aspinall2009-05-26
| | | | cleanups
* Fix type in calls to toggle functionsGravatar David Aspinall2008-08-03
|
* Fix for deferred loading of maths menu and unicode tokens.Gravatar David Aspinall2008-07-24
|
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 02:56:48 +0000