aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-menu.el
AgeCommit message (Expand)Author
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 pre-proce...David Aspinall
2009-09-10Add proof-minibuffer-messages. Move defpacustom->proof-utils andDavid Aspinall
2009-09-09Cleanup toolbar-toggle and bind to C-c b, fix binding C-c v.David Aspinall
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
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 c...David Aspinall
2008-08-03Fix type in calls to toggle functionsDavid Aspinall
2008-07-24Fix for deferred loading of maths menu and unicode tokens.David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-10Disable Unicode Tokens 2David Aspinall
2008-07-05TEMPORARY: add unicode-tokens2 mechanism to test across different machinesDavid Aspinall
2008-02-06proof-quick-opts-vars: add <PA>-unicode-tokens-enableDavid Aspinall
2008-01-31Disable X-Symbol on emacs >= 23. Internal interfaces have changedDavid Aspinall
2008-01-30Comments re trac #187David Aspinall
2008-01-29Add Unicode Tokens menu item; prevent (easily) selecting Unicode TokensDavid Aspinall
2008-01-25Remove unicode tokens from menu, this is experimental.David Aspinall
2008-01-25Remove unicode tokens from menu, this is experimental.David Aspinall
2008-01-25Add unicode-tokens-enableDavid Aspinall
2008-01-17Remove dummy defvars, which cause errors if proof-menu is required during com...David Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2007-12-14Remove response history (delay for 3.7.1). Promote speedbarDavid Aspinall
2007-12-13Add dynamic enable/disable function for proof-keep-response-historyDavid Aspinall
2007-12-13Complete maths menu additionDavid Aspinall
2007-12-12Additions for maths menuDavid Aspinall
2007-12-10Emacs compatibility/API updates: string-to-int -> string-to-numberDavid Aspinall
2006-10-27Rationalise testing for different values of window-system, to/and support mor...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:39:30 +0000