aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-script.el
Commit message (Expand)AuthorAge
* 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
* generic-find-and-forget: handle proof-forget-id-command not being setGravatar David Aspinall2004-03-30
* Switch ?\ -> ?\040 (Joe Corneli reports problem with CVS GNU Emacs)Gravatar David Aspinall2004-03-02
* Fix buglets shown up by byte compilation.Gravatar David Aspinall2004-03-01
* Run checkdocGravatar David Aspinall2003-10-05
* Add interactive input setting, and extra flags for action.Gravatar David Aspinall2003-10-05
* Give text default for hidden proof image.Gravatar David Aspinall2003-06-16
* Only give hint about C-c C-. if not already visibleGravatar David Aspinall2003-06-08
* TypoGravatar David Aspinall2003-06-05
* Simplify mark-buffer-atomic to just make 'proverproc span.Gravatar David Aspinall2003-06-05
* By default, do not move pointer on interrupt, only error; tune hints for spansGravatar David Aspinall2003-06-05
* proof-strict-read-only: only alter locked span if live (bug fix)Gravatar David Aspinall2003-05-28
* Buglet in proof-mark-buffer-atomicGravatar David Aspinall2003-05-20
* Comments.Gravatar David Aspinall2003-04-05
* Allow proof-strict-read-only to be changed dyamically, add to quick opts menu...Gravatar David Aspinall2003-03-17
* More tweaks so that (proof-ass x-symbol-enable) is pervasive.Gravatar David Aspinall2003-03-17
* Be more polite with handling of invisibility specGravatar David Aspinall2003-03-14
* Fix sticky mode properties for X-SymbolGravatar David Aspinall2003-03-03
* Refactor function used for Isar parsing a little.Gravatar David Aspinall2003-03-01
* Fix some compile errorsGravatar David Aspinall2003-02-24
* Temporarily disable mode-class prop on script major mode (for X-sym 4.45beta)Gravatar David Aspinall2003-02-22
* Leave packages' own hooks (X-Symbol, MMM) to deal with turning on orGravatar David Aspinall2003-02-19
* Add support for MMM modeGravatar David Aspinall2003-02-18
* Refactor proof-config-done for clarityGravatar David Aspinall2003-02-18
* Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsingGravatar David Aspinall2003-02-05
* CommentsGravatar David Aspinall2002-09-14
* Redisplay for gnuemacs on visibility changes. Small parser tweak. Comments.Gravatar David Aspinall2002-09-11
* Improved implementation of zap-commas font lock behaviour, patch from Stefan ...Gravatar David Aspinall2002-08-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 20:02:43 +0000