aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-menu.el
Commit message (Expand)AuthorAge
* 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 pre-proce...Gravatar David Aspinall2009-09-10
* Add proof-minibuffer-messages. Move defpacustom->proof-utils andGravatar David Aspinall2009-09-10
* Cleanup toolbar-toggle and bind to C-c b, fix binding C-c v.Gravatar David Aspinall2009-09-09
* (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
* 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 c...Gravatar David Aspinall2009-05-26
* 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
* Disable Unicode Tokens 2Gravatar David Aspinall2008-07-10
* TEMPORARY: add unicode-tokens2 mechanism to test across different machinesGravatar David Aspinall2008-07-05
* proof-quick-opts-vars: add <PA>-unicode-tokens-enableGravatar David Aspinall2008-02-06
* Disable X-Symbol on emacs >= 23. Internal interfaces have changedGravatar David Aspinall2008-01-31
* Comments re trac #187Gravatar David Aspinall2008-01-30
* Add Unicode Tokens menu item; prevent (easily) selecting Unicode TokensGravatar David Aspinall2008-01-29
* Remove unicode tokens from menu, this is experimental.Gravatar David Aspinall2008-01-25
* Remove unicode tokens from menu, this is experimental.Gravatar David Aspinall2008-01-25
* Add unicode-tokens-enableGravatar David Aspinall2008-01-25
* Remove dummy defvars, which cause errors if proof-menu is required during com...Gravatar David Aspinall2008-01-17
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 22:10:03 +0000