aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-menu.el
Commit message (Collapse)AuthorAge
* (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
|
* 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
| | | | | there for x-complement-fontset-spec. It may be possible to fix without much work, but isn't immediately obvious.
* Comments re trac #187Gravatar David Aspinall2008-01-30
|
* Add Unicode Tokens menu item; prevent (easily) selecting Unicode TokensGravatar David Aspinall2008-01-29
| | | | and X-Symbols at the same time, which will surely lead to evil confusion.
* 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 ↵Gravatar David Aspinall2008-01-17
| | | | compile. Add keybindings for history. Move About menu item.
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
|
* Many rearrangements for compatibility, efficient/correct compilation, ↵Gravatar David Aspinall2008-01-15
| | | | | | | namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
* Remove response history (delay for 3.7.1). Promote speedbarGravatar David Aspinall2007-12-14
|
* Add dynamic enable/disable function for proof-keep-response-historyGravatar David Aspinall2007-12-13
|
* Complete maths menu additionGravatar David Aspinall2007-12-13
|
* Additions for maths menuGravatar David Aspinall2007-12-12
|
* Emacs compatibility/API updates: string-to-int -> string-to-numberGravatar David Aspinall2007-12-10
|
* Rationalise testing for different values of window-system, to/and support ↵Gravatar David Aspinall2006-10-27
| | | | more Emacs ports easily
* Add buffer history browsingGravatar David Aspinall2006-09-24
|
* Fix multiple Isabelle submenus on mode popup.Gravatar David Aspinall2005-09-30
|
* Fix to help menu from Timothy BourkeGravatar David Aspinall2005-08-10
|
* Move some keybindings from script mode to universal keysGravatar David Aspinall2005-08-10
|
* Extensions to support PGIP 2.X settings format.Gravatar David Aspinall2004-08-25
|
* Generalise proof-def-invisible.Gravatar David Aspinall2004-06-13
|
* Add compatibility hack for Emacs 21.2.1 customize-menu-createGravatar David Aspinall2004-04-26
|
* Add proof-shell-require-command-regexp, proof-done-advancing-require-functionGravatar David Aspinall2004-04-24
| | | | | to support multiple files in Coq. Move some keybindings to proof-universal-keys (esp. C-c C-l).
* Allow empty :setting, :eval in defpacustom.Gravatar David Aspinall2004-04-22
|
* Fix bug in replace-in-string for GNU EmacsGravatar David Aspinall2004-04-17
|
* Oops, remove junk.Gravatar David Aspinall2004-04-17
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 12:47:02 +0000