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
*
Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.
David Aspinall
2010-08-03
*
Cleanups for save-excursion to avoid warnings in latest Emacs versions
David Aspinall
2010-07-08
*
Rework script span element hiding to avoid buffer-invisibility-spec. Add com...
David Aspinall
2009-12-03
*
Fix for Trac #307.
David Aspinall
2009-11-30
*
Replace proof-locked-end -> proof-unprocessed-begin
David Aspinall
2009-11-30
*
Add `proof-script-sticky-error-face' and `proof-sticky-errors' setting.
David Aspinall
2009-11-28
*
proof-script-use-old-parser: remove configuration option and cleanup
David Aspinall
2009-10-15
*
Shorten comments
David Aspinall
2009-10-14
*
proof-script-generic-parse-cmdstart: set case-fold-search
David Aspinall
2009-10-03
*
proof-assert-electric-terminator: repair so works at end of buffer
David Aspinall
2009-10-03
*
proof-retract-before-change: give error if prover busy
David Aspinall
2009-10-02
*
Functions find-and-forget and count-undos now return lists of commands
David Aspinall
2009-09-28
*
pg-toggle-element-visibility: Add back `redraw-frame' call, it *is*
David Aspinall
2009-09-25
*
Remove redisplay function call for Emacs, seems unnecssary.
David Aspinall
2009-09-21
*
Repair some of proof visibility handling
David Aspinall
2009-09-21
*
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-cmdstart-add-segment-for-cmd: classify all whitespace as a
David Aspinall
2009-09-20
*
pg-last-output-displayform: protect against empty string
David Aspinall
2009-09-16
*
When calling proof-script-preprocess, fix starting position.
David Aspinall
2009-09-15
*
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
*
Move insert-electric-terminator here. Add experimental error spans. Doc imp...
David Aspinall
2009-09-14
*
Disable debug message in Isar
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
*
pg-last-output-displayform: strip trailing CR as well as initial one,
David Aspinall
2009-09-09
*
Delete the pghelp spans for now, after all.
David Aspinall
2009-09-09
*
proof-script-clear-queue-spans: scan less of buffer
David Aspinall
2009-09-09
*
proof-shell-error-or-interrupt-seen -> proof-shell-last-error-kind,
David Aspinall
2009-09-09
*
Fix compile warnings
David Aspinall
2009-09-07
*
pg-add-element: unbound var in debug
David Aspinall
2009-09-06
*
Tweak point movement in `proof-assert-until-point' and
David Aspinall
2009-09-06
*
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
[next]