aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-script.el
Commit message (Expand)AuthorAge
...
* 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
* Compilation tweaksGravatar David Aspinall2008-01-16
* Simplify font lock settings, removing proof-font-lock-case-fold-searchGravatar David Aspinall2008-01-15
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Modify buffer-invisibility-spec to work smoothly with X-Symbol/EmacsGravatar David Aspinall2007-12-10
* Patch for buggy derived.el in XEmacs 21.5.b28Gravatar David Aspinall2007-12-09
* CommentsGravatar David Aspinall2007-08-19
* Add support for sending back literal commands reusing PBP markup mechanisms.Gravatar David Aspinall2007-08-14
* Clean comments around eval-and-compile proof-modeGravatar David Aspinall2007-04-23
* Fixed a parenthesis, suggested by Stefan Monnier.Gravatar Pierre Courtieu2007-04-16
* Changed the type of proof-goal-command-p. It takes now a span, whichGravatar Pierre Courtieu2006-04-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 23:22:22 +0000