aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-script.el
Commit message (Expand)AuthorAge
...
* Move key binding for proof assistant keymap (fixes compilation bug)Gravatar David Aspinall2010-08-03
* save-some-buffers: only offer to save proof script buffersGravatar David Aspinall2010-08-03
* Add support for basic "movie" recording. See http://mws.cs.ru.nl/proviola.Gravatar David Aspinall2010-08-03
* Cleanups for save-excursion to avoid warnings in latest Emacs versionsGravatar David Aspinall2010-07-08
* Rework script span element hiding to avoid buffer-invisibility-spec. Add com...Gravatar David Aspinall2009-12-03
* Fix for Trac #307.Gravatar David Aspinall2009-11-30
* Replace proof-locked-end -> proof-unprocessed-beginGravatar David Aspinall2009-11-30
* Add `proof-script-sticky-error-face' and `proof-sticky-errors' setting.Gravatar David Aspinall2009-11-28
* proof-script-use-old-parser: remove configuration option and cleanupGravatar David Aspinall2009-10-15
* Shorten commentsGravatar David Aspinall2009-10-14
* proof-script-generic-parse-cmdstart: set case-fold-searchGravatar David Aspinall2009-10-03
* proof-assert-electric-terminator: repair so works at end of bufferGravatar David Aspinall2009-10-03
* proof-retract-before-change: give error if prover busyGravatar David Aspinall2009-10-02
* Functions find-and-forget and count-undos now return lists of commandsGravatar David Aspinall2009-09-28
* pg-toggle-element-visibility: Add back `redraw-frame' call, it *is*Gravatar David Aspinall2009-09-25
* Remove redisplay function call for Emacs, seems unnecssary.Gravatar David Aspinall2009-09-21
* Repair some of proof visibility handlingGravatar David Aspinall2009-09-21
* proof-script-clear-queue-spans-on-error: jump to start of error spanGravatar David Aspinall2009-09-20
* pg-set-span-helphighlights: add hook to delete help highlightGravatar David Aspinall2009-09-20
* proof-cmdstart-add-segment-for-cmd: classify all whitespace as aGravatar David Aspinall2009-09-20
* pg-last-output-displayform: protect against empty stringGravatar David Aspinall2009-09-16
* When calling proof-script-preprocess, fix starting position.Gravatar David Aspinall2009-09-15
* Fix compile issuesGravatar David Aspinall2009-09-14
* proof-span-give-warning: no message if inhibit-read-only is setGravatar David Aspinall2009-09-14
* Move insert-electric-terminator here. Add experimental error spans. Doc imp...Gravatar David Aspinall2009-09-14
* Disable debug message in IsarGravatar David Aspinall2009-09-10
* Experimental changes to queue several commands at once and to allow pre-proce...Gravatar David Aspinall2009-09-10
* proof-retract-until-point: protect against finding no span at allGravatar David Aspinall2009-09-10
* Clean compileGravatar David Aspinall2009-09-10
* pg-last-output-displayform: strip trailing CR as well as initial one,Gravatar David Aspinall2009-09-09
* Delete the pghelp spans for now, after all.Gravatar David Aspinall2009-09-09
* proof-script-clear-queue-spans: scan less of bufferGravatar David Aspinall2009-09-09
* proof-shell-error-or-interrupt-seen -> proof-shell-last-error-kind,Gravatar David Aspinall2009-09-09
* Fix compile warningsGravatar David Aspinall2009-09-07
* pg-add-element: unbound var in debugGravatar David Aspinall2009-09-06
* Tweak point movement in `proof-assert-until-point' andGravatar David Aspinall2009-09-06
* Minor optGravatar David Aspinall2009-09-05
* proof-set-queue-endpoints: no undo-make-selective-list (pg-protected-undo rep...Gravatar David Aspinall2009-09-05
* Clean whitespaceGravatar David Aspinall2009-09-05
* Whitespaces and commentsGravatar David Aspinall2009-09-05
* Add proof-script-evaluate-elisp-comment-regexp security hole.Gravatar David Aspinall2009-09-04
* proof-file-to-buffer -> find-buffer-visitingGravatar David Aspinall2009-09-04
* Remove configuration of obsolete package function-menu (aka "fume")Gravatar David Aspinall2009-09-04
* Remove configuration of obsolete package function-menu (aka "fume")Gravatar David Aspinall2009-09-04
* Refactoring point movement commands (in progress). Remove proof-no-command.Gravatar David Aspinall2009-09-04
* Cleanup of interactive point moving functions (in progress)Gravatar David Aspinall2009-08-29
* Fix compile warningsGravatar David Aspinall2009-08-28
* Doc tweaks via checkdoc.Gravatar David Aspinall2009-08-20
* proof-one-command-per-line: change default, use in proof-insert-pbp-command.Gravatar David Aspinall2009-08-20
* Only move proof-overlay-arrow once it's got a position.Gravatar David Aspinall2009-08-17