aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-script.el
Commit message (Expand)AuthorAge
* 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
* Updated.Gravatar David Aspinall2005-03-21
* fixed a problem with x-symbol not enables in script bufferGravatar Christophe Raffalli2004-10-20
* Add arg to forward-comment for GNU Emacs.Gravatar David Aspinall2004-10-04
* proof-goto-end-of-locked: add push-mark; fix: goto end of locked even ifGravatar David Aspinall2004-06-03
* Allow proof-goto-end-of-locked to work again if no active scripting buffer.Gravatar David Aspinall2004-04-26
* Add proof-shell-require-command-regexp, proof-done-advancing-require-functionGravatar David Aspinall2004-04-24
* Add proof-deactivate-scripting-hook. Also note activate-script-hook is no lo...Gravatar David Aspinall2004-04-22
* Clarify that it is right to query saves in proof-retract-until-point's callGravatar David Aspinall2004-04-17
* Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...Gravatar David Aspinall2004-04-17
* Add Index menu.Gravatar David Aspinall2004-04-14
* Add proof-script-imenu-generic-expression for configuring imenu.Gravatar David Aspinall2004-04-14
* Space in named entities popupGravatar David Aspinall2004-04-14
* Abstract out proof-end-of-locked-visible-pGravatar David Aspinall2004-04-13
* Adjust proof-script-comment-end and comment-end to hold empty string for end-...Gravatar David Aspinall2004-04-06
* Adjust proof-script-comment-end to fix comment-end to be empty for end-of-lin...Gravatar David Aspinall2004-04-06
* Use proof-shell-wait; comments.Gravatar David Aspinall2004-04-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 04:46:43 +0000