aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-script.el
AgeCommit message (Expand)Author
2009-09-28Functions find-and-forget and count-undos now return lists of commandsDavid Aspinall
2009-09-25pg-toggle-element-visibility: Add back `redraw-frame' call, it *is*David Aspinall
2009-09-21Remove redisplay function call for Emacs, seems unnecssary.David Aspinall
2009-09-21Repair some of proof visibility handlingDavid Aspinall
2009-09-20proof-script-clear-queue-spans-on-error: jump to start of error spanDavid Aspinall
2009-09-20pg-set-span-helphighlights: add hook to delete help highlightDavid Aspinall
2009-09-20proof-cmdstart-add-segment-for-cmd: classify all whitespace as aDavid Aspinall
2009-09-16pg-last-output-displayform: protect against empty stringDavid Aspinall
2009-09-15When calling proof-script-preprocess, fix starting position.David Aspinall
2009-09-14Fix compile issuesDavid Aspinall
2009-09-14proof-span-give-warning: no message if inhibit-read-only is setDavid Aspinall
2009-09-14Move insert-electric-terminator here. Add experimental error spans. Doc imp...David Aspinall
2009-09-10Disable debug message in IsarDavid Aspinall
2009-09-10Experimental changes to queue several commands at once and to allow pre-proce...David Aspinall
2009-09-10proof-retract-until-point: protect against finding no span at allDavid Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-09pg-last-output-displayform: strip trailing CR as well as initial one,David Aspinall
2009-09-09Delete the pghelp spans for now, after all.David Aspinall
2009-09-09proof-script-clear-queue-spans: scan less of bufferDavid Aspinall
2009-09-09proof-shell-error-or-interrupt-seen -> proof-shell-last-error-kind,David Aspinall
2009-09-07Fix compile warningsDavid Aspinall
2009-09-06pg-add-element: unbound var in debugDavid Aspinall
2009-09-06Tweak point movement in `proof-assert-until-point' andDavid Aspinall
2009-09-05Minor optDavid Aspinall
2009-09-05proof-set-queue-endpoints: no undo-make-selective-list (pg-protected-undo rep...David Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-05Whitespaces and commentsDavid Aspinall
2009-09-04Add proof-script-evaluate-elisp-comment-regexp security hole.David Aspinall
2009-09-04proof-file-to-buffer -> find-buffer-visitingDavid Aspinall
2009-09-04Remove configuration of obsolete package function-menu (aka "fume")David Aspinall
2009-09-04Remove configuration of obsolete package function-menu (aka "fume")David Aspinall
2009-09-04Refactoring point movement commands (in progress). Remove proof-no-command.David Aspinall
2009-08-29Cleanup of interactive point moving functions (in progress)David Aspinall
2009-08-28Fix compile warningsDavid Aspinall
2009-08-20Doc tweaks via checkdoc.David Aspinall
2009-08-20proof-one-command-per-line: change default, use in proof-insert-pbp-command.David Aspinall
2009-08-17Only move proof-overlay-arrow once it's got a position.David Aspinall
2009-08-17Move the overlay arrow backwards in case of edits above it whichDavid Aspinall
2009-08-14pg-last-output-displayform: add convenience functionDavid Aspinall
2009-08-13Add parser cache for proof-segment-up-to.David Aspinall
2009-08-07proof-colour-locked: complete implementationDavid Aspinall
2009-08-06Prevent setting of proof-overlay-arrow if not configuredDavid Aspinall
2009-07-30Add overlay arrow ported from Kit.David Aspinall
2009-07-30Add proof-colour-locked option to leave locked region background uncoloured.David Aspinall
2009-05-27Check unicode-tokens-mode is boundDavid Aspinall
2009-05-26Add proof state hover messages to proof script, along with useful customization.David Aspinall
2009-05-26proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window: obeyDavid Aspinall
2009-05-26Revive sendback behaviour (using button1)David Aspinall
2009-05-25Set default value for `buffer-invisibility-spec'David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:23:43 +0000