index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-menu.el
Commit message (
Expand
)
Author
Age
...
*
Adjust comment
David Aspinall
2009-09-14
*
Reorganisation Options with Minor Mode submenu
David Aspinall
2009-09-14
*
Add Read-Only sub menu
David Aspinall
2009-09-11
*
Experimental changes to queue several commands at once and to allow pre-proce...
David Aspinall
2009-09-10
*
Add proof-minibuffer-messages. Move defpacustom->proof-utils and
David Aspinall
2009-09-10
*
Cleanup toolbar-toggle and bind to C-c b, fix binding C-c v.
David Aspinall
2009-09-09
*
(C) date
David Aspinall
2009-09-07
*
Avoid easy-menu-define macro
David Aspinall
2009-09-06
*
Compile with cl. Fix typo.
David Aspinall
2009-09-06
*
Clean whitespace
David Aspinall
2009-09-05
*
replace-in-string -> replace-regexp-in-string
David Aspinall
2009-09-04
*
capitalisation
David Aspinall
2009-09-04
*
Add menu entry for setting proof assistant command
David Aspinall
2009-08-25
*
Add key binding for proof-query-identifier
David Aspinall
2009-08-14
*
Add menu setting to set proof-strict-read-only to 'retract
David Aspinall
2009-08-13
*
Remove experimental setting. Define toggle function.
David Aspinall
2009-08-07
*
proof-colour-locked: complete implementation
David Aspinall
2009-08-07
*
rename: proof-full-decoration -> proof-full-annotation
David Aspinall
2009-08-07
*
rename: proof-full-decoration -> proof-full-annotation
David Aspinall
2009-08-07
*
New configuration variable proof-use-pgip-askprefs. Use setting group names ...
David Aspinall
2009-08-06
*
Add proof-colour-locked option to leave locked region background uncoloured.
David Aspinall
2009-07-30
*
Use descriptions of help items to set menu tooltips (resolve trac #218)
David Aspinall
2009-07-30
*
Add proof state hover messages to proof script, along with useful customization.
David Aspinall
2009-05-26
*
Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...
David Aspinall
2009-05-26
*
Fix type in calls to toggle functions
David Aspinall
2008-08-03
*
Fix for deferred loading of maths menu and unicode tokens.
David Aspinall
2008-07-24
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Disable Unicode Tokens 2
David Aspinall
2008-07-10
*
TEMPORARY: add unicode-tokens2 mechanism to test across different machines
David Aspinall
2008-07-05
*
proof-quick-opts-vars: add <PA>-unicode-tokens-enable
David Aspinall
2008-02-06
*
Disable X-Symbol on emacs >= 23. Internal interfaces have changed
David Aspinall
2008-01-31
*
Comments re trac #187
David Aspinall
2008-01-30
*
Add Unicode Tokens menu item; prevent (easily) selecting Unicode Tokens
David Aspinall
2008-01-29
*
Remove unicode tokens from menu, this is experimental.
David Aspinall
2008-01-25
*
Remove unicode tokens from menu, this is experimental.
David Aspinall
2008-01-25
*
Add unicode-tokens-enable
David Aspinall
2008-01-25
*
Remove dummy defvars, which cause errors if proof-menu is required during com...
David Aspinall
2008-01-17
*
Reduce compiler warnings. Minor fixes.
David Aspinall
2008-01-16
*
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2008-01-15
*
Remove response history (delay for 3.7.1). Promote speedbar
David Aspinall
2007-12-14
*
Add dynamic enable/disable function for proof-keep-response-history
David Aspinall
2007-12-13
*
Complete maths menu addition
David Aspinall
2007-12-13
*
Additions for maths menu
David Aspinall
2007-12-12
*
Emacs compatibility/API updates: string-to-int -> string-to-number
David Aspinall
2007-12-10
*
Rationalise testing for different values of window-system, to/and support mor...
David Aspinall
2006-10-27
*
Add buffer history browsing
David Aspinall
2006-09-24
*
Fix multiple Isabelle submenus on mode popup.
David Aspinall
2005-09-30
*
Fix to help menu from Timothy Bourke
David Aspinall
2005-08-10
*
Move some keybindings from script mode to universal keys
David Aspinall
2005-08-10
*
Extensions to support PGIP 2.X settings format.
David Aspinall
2004-08-25
[prev]
[next]