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
Commit message (
Expand
)
Author
Age
*
Remove redisplay function call for Emacs, seems unnecssary.
David Aspinall
2009-09-21
*
Set version tag for new release.
David Aspinall
2009-09-21
*
Updated
David Aspinall
2009-09-21
*
Add Hide/Show to extra modes menu
David Aspinall
2009-09-21
*
Repair some of proof visibility handling
David Aspinall
2009-09-21
*
Rearrange options, add customize user options to top level menu
David Aspinall
2009-09-21
*
pg-identifier-near-point-query: make hover span have a high priority
David Aspinall
2009-09-21
*
Adjustments to better obey proof-follow-mode=ignore
David Aspinall
2009-09-20
*
proof-script-clear-queue-spans-on-error: jump to start of error span
David Aspinall
2009-09-20
*
pg-set-span-helphighlights: add hook to delete help highlight
David Aspinall
2009-09-20
*
proof-unicode-tokens-enable: autoload so turning on Unicode tokens works
David Aspinall
2009-09-20
*
Updated
David Aspinall
2009-09-20
*
proof-cmdstart-add-segment-for-cmd: classify all whitespace as a
David Aspinall
2009-09-20
*
Updated
David Aspinall
2009-09-17
*
Fix compile warnings
David Aspinall
2009-09-16
*
Set version tag for new release.
David Aspinall
2009-09-16
*
Fix logic handling delayed callbacks and silent stop/start
David Aspinall
2009-09-16
*
pg-last-output-displayform: protect against empty string
David Aspinall
2009-09-16
*
Fix doc
David Aspinall
2009-09-15
*
Set version tag for new release.
David Aspinall
2009-09-15
*
When calling proof-script-preprocess, fix starting position.
David Aspinall
2009-09-15
*
Fix compile warning
David Aspinall
2009-09-15
*
Prevent compile warnings
David Aspinall
2009-09-15
*
Adjust comment
David Aspinall
2009-09-14
*
Moved function
David Aspinall
2009-09-14
*
Fix compile issues
David Aspinall
2009-09-14
*
proof-span-give-warning: no message if inhibit-read-only is set
David Aspinall
2009-09-14
*
proof-imenu-enable: fix remove call
David Aspinall
2009-09-14
*
proof-strict-read-only: Experimental change to default
David Aspinall
2009-09-14
*
Doc
David Aspinall
2009-09-14
*
Propertize Scripting modeline indicator. Support error spans.
David Aspinall
2009-09-14
*
Move insert-electric-terminator here. Add experimental error spans. Doc imp...
David Aspinall
2009-09-14
*
Engage which-function mode with imenu. Move insert-electric-terminator to pr...
David Aspinall
2009-09-14
*
Reorganisation Options with Minor Mode submenu
David Aspinall
2009-09-14
*
Fix docs
David Aspinall
2009-09-11
*
Make quiet by default. Improve docs.
David Aspinall
2009-09-11
*
Our own buffer for debug messages
David Aspinall
2009-09-11
*
Add Read-Only sub menu
David Aspinall
2009-09-11
*
Default to disabling minibuffer messages
David Aspinall
2009-09-10
*
Disable debug message in Isar
David Aspinall
2009-09-10
*
Disable process-adaptive-read-buffering: massive slow down for short
David Aspinall
2009-09-10
*
Move stripping and minibuffer-message function here
David Aspinall
2009-09-10
*
Experimental changes to queue several commands at once and to allow pre-proce...
David Aspinall
2009-09-10
*
proof-retract-until-point: protect against finding no span at all
David Aspinall
2009-09-10
*
Clean compile
David Aspinall
2009-09-10
*
Clean compile
David Aspinall
2009-09-10
*
Move defpacustom here. Move message functions to proof-shell. Fix requires.
David Aspinall
2009-09-10
*
Add proof-minibuffer-messages. Move defpacustom->proof-utils and
David Aspinall
2009-09-10
*
Add `proof-minibuffer-messages'
David Aspinall
2009-09-10
*
Prevent font-lock in shell by altering font-lock-global-modes locally
David Aspinall
2009-09-09
[next]