aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-menu.el
AgeCommit message (Collapse)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 ↵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
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
there for x-complement-fontset-spec. It may be possible to fix without much work, but isn't immediately obvious.
2008-01-30Comments re trac #187David Aspinall
2008-01-29Add Unicode Tokens menu item; prevent (easily) selecting Unicode TokensDavid Aspinall
and X-Symbols at the same time, which will surely lead to evil confusion.
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 ↵David Aspinall
compile. Add keybindings for history. Move About menu item.
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, ↵David Aspinall
namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
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 ↵David Aspinall
more Emacs ports easily