aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-script.el
Commit message (Expand)AuthorAge
...
* 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
* Move the overlay arrow backwards in case of edits above it whichGravatar David Aspinall2009-08-17
* pg-last-output-displayform: add convenience functionGravatar David Aspinall2009-08-14
* Add parser cache for proof-segment-up-to.Gravatar David Aspinall2009-08-13
* proof-colour-locked: complete implementationGravatar David Aspinall2009-08-07
* Prevent setting of proof-overlay-arrow if not configuredGravatar David Aspinall2009-08-06
* Add overlay arrow ported from Kit.Gravatar David Aspinall2009-07-30
* Add proof-colour-locked option to leave locked region background uncoloured.Gravatar David Aspinall2009-07-30
* Check unicode-tokens-mode is boundGravatar David Aspinall2009-05-27
* Add proof state hover messages to proof script, along with useful customization.Gravatar David Aspinall2009-05-26
* proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window: obeyGravatar David Aspinall2009-05-26
* Revive sendback behaviour (using button1)Gravatar David Aspinall2009-05-26
* Set default value for `buffer-invisibility-spec'Gravatar David Aspinall2009-05-25
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Reverse 8.28, buffer-substring-no-properties -> buffer-substring.Gravatar David Aspinall2008-07-10
* Sendback commands from response buffer sent via assert-until-point, with ordi...Gravatar David Aspinall2008-01-31
* Documentation.Gravatar David Aspinall2008-01-30
* buffer-substring -> buffer-substring-no-properties since we never use themGravatar David Aspinall2008-01-29
* Comments.Gravatar David Aspinall2008-01-29
* Typo.Gravatar David Aspinall2008-01-29
* proof-set-queue-endpoints: only use undo-discarding function ifGravatar David Aspinall2008-01-29
* Disable undo in read-only region; add proof-allow-undo-in-read-only settingGravatar David Aspinall2008-01-29
* pg-clear-script-portions: fix handling of buffer-invisibility-specGravatar David Aspinall2008-01-25
* Fixes and cleanups for coq-indent-line, see Trac #172Gravatar David Aspinall2008-01-24
* Disable removal from input historyGravatar David Aspinall2008-01-17
* CommentGravatar David Aspinall2008-01-17
* Add input history ring. Cleanup comments.Gravatar David Aspinall2008-01-17
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 11:29:58 +0000