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-script.el
Commit message (
Expand
)
Author
Age
*
Minor opt
David Aspinall
2009-09-05
*
proof-set-queue-endpoints: no undo-make-selective-list (pg-protected-undo rep...
David Aspinall
2009-09-05
*
Clean whitespace
David Aspinall
2009-09-05
*
Whitespaces and comments
David Aspinall
2009-09-05
*
Add proof-script-evaluate-elisp-comment-regexp security hole.
David Aspinall
2009-09-04
*
proof-file-to-buffer -> find-buffer-visiting
David Aspinall
2009-09-04
*
Remove configuration of obsolete package function-menu (aka "fume")
David Aspinall
2009-09-04
*
Remove configuration of obsolete package function-menu (aka "fume")
David Aspinall
2009-09-04
*
Refactoring point movement commands (in progress). Remove proof-no-command.
David Aspinall
2009-09-04
*
Cleanup of interactive point moving functions (in progress)
David Aspinall
2009-08-29
*
Fix compile warnings
David Aspinall
2009-08-28
*
Doc tweaks via checkdoc.
David Aspinall
2009-08-20
*
proof-one-command-per-line: change default, use in proof-insert-pbp-command.
David Aspinall
2009-08-20
*
Only move proof-overlay-arrow once it's got a position.
David Aspinall
2009-08-17
*
Move the overlay arrow backwards in case of edits above it which
David Aspinall
2009-08-17
*
pg-last-output-displayform: add convenience function
David Aspinall
2009-08-14
*
Add parser cache for proof-segment-up-to.
David Aspinall
2009-08-13
*
proof-colour-locked: complete implementation
David Aspinall
2009-08-07
*
Prevent setting of proof-overlay-arrow if not configured
David Aspinall
2009-08-06
*
Add overlay arrow ported from Kit.
David Aspinall
2009-07-30
*
Add proof-colour-locked option to leave locked region background uncoloured.
David Aspinall
2009-07-30
*
Check unicode-tokens-mode is bound
David Aspinall
2009-05-27
*
Add proof state hover messages to proof script, along with useful customization.
David Aspinall
2009-05-26
*
proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window: obey
David Aspinall
2009-05-26
*
Revive sendback behaviour (using button1)
David Aspinall
2009-05-26
*
Set default value for `buffer-invisibility-spec'
David Aspinall
2009-05-25
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Reverse 8.28, buffer-substring-no-properties -> buffer-substring.
David Aspinall
2008-07-10
*
Sendback commands from response buffer sent via assert-until-point, with ordi...
David Aspinall
2008-01-31
*
Documentation.
David Aspinall
2008-01-30
*
buffer-substring -> buffer-substring-no-properties since we never use them
David Aspinall
2008-01-29
*
Comments.
David Aspinall
2008-01-29
*
Typo.
David Aspinall
2008-01-29
*
proof-set-queue-endpoints: only use undo-discarding function if
David Aspinall
2008-01-29
*
Disable undo in read-only region; add proof-allow-undo-in-read-only setting
David Aspinall
2008-01-29
*
pg-clear-script-portions: fix handling of buffer-invisibility-spec
David Aspinall
2008-01-25
*
Fixes and cleanups for coq-indent-line, see Trac #172
David Aspinall
2008-01-24
*
Disable removal from input history
David Aspinall
2008-01-17
*
Comment
David Aspinall
2008-01-17
*
Add input history ring. Cleanup comments.
David Aspinall
2008-01-17
*
Reduce compiler warnings. Minor fixes.
David Aspinall
2008-01-16
*
Compilation tweaks
David Aspinall
2008-01-16
*
Simplify font lock settings, removing proof-font-lock-case-fold-search
David Aspinall
2008-01-15
*
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2008-01-15
*
Modify buffer-invisibility-spec to work smoothly with X-Symbol/Emacs
David Aspinall
2007-12-10
*
Patch for buggy derived.el in XEmacs 21.5.b28
David Aspinall
2007-12-09
*
Comments
David Aspinall
2007-08-19
*
Add support for sending back literal commands reusing PBP markup mechanisms.
David Aspinall
2007-08-14
*
Clean comments around eval-and-compile proof-mode
David Aspinall
2007-04-23
*
Fixed a parenthesis, suggested by Stefan Monnier.
Pierre Courtieu
2007-04-16
[next]