| Commit message (Expand) | Author | Age |
* | proof-goto-end-of-locked: add push-mark; fix: goto end of locked even if | David Aspinall | 2004-06-03 |
* | Allow proof-goto-end-of-locked to work again if no active scripting buffer. | David Aspinall | 2004-04-26 |
* | Add proof-shell-require-command-regexp, proof-done-advancing-require-function | David Aspinall | 2004-04-24 |
* | Add proof-deactivate-scripting-hook. Also note activate-script-hook is no lo... | David Aspinall | 2004-04-22 |
* | Clarify that it is right to query saves in proof-retract-until-point's call | David Aspinall | 2004-04-17 |
* | Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo... | David Aspinall | 2004-04-17 |
* | Add Index menu. | David Aspinall | 2004-04-14 |
* | Add proof-script-imenu-generic-expression for configuring imenu. | David Aspinall | 2004-04-14 |
* | Space in named entities popup | David Aspinall | 2004-04-14 |
* | Abstract out proof-end-of-locked-visible-p | David Aspinall | 2004-04-13 |
* | Adjust proof-script-comment-end and comment-end to hold empty string for end-... | David Aspinall | 2004-04-06 |
* | Adjust proof-script-comment-end to fix comment-end to be empty for end-of-lin... | David Aspinall | 2004-04-06 |
* | Use proof-shell-wait; comments. | David Aspinall | 2004-04-02 |
* | generic-find-and-forget: handle proof-forget-id-command not being set | David Aspinall | 2004-03-30 |
* | Switch ?\ -> ?\040 (Joe Corneli reports problem with CVS GNU Emacs) | David Aspinall | 2004-03-02 |
* | Fix buglets shown up by byte compilation. | David Aspinall | 2004-03-01 |
* | Run checkdoc | David Aspinall | 2003-10-05 |
* | Add interactive input setting, and extra flags for action. | David Aspinall | 2003-10-05 |
* | Give text default for hidden proof image. | David Aspinall | 2003-06-16 |
* | Only give hint about C-c C-. if not already visible | David Aspinall | 2003-06-08 |
* | Typo | David Aspinall | 2003-06-05 |
* | Simplify mark-buffer-atomic to just make 'proverproc span. | David Aspinall | 2003-06-05 |
* | By default, do not move pointer on interrupt, only error; tune hints for spans | David Aspinall | 2003-06-05 |
* | proof-strict-read-only: only alter locked span if live (bug fix) | David Aspinall | 2003-05-28 |
* | Buglet in proof-mark-buffer-atomic | David Aspinall | 2003-05-20 |
* | Comments. | David Aspinall | 2003-04-05 |
* | Allow proof-strict-read-only to be changed dyamically, add to quick opts menu... | David Aspinall | 2003-03-17 |
* | More tweaks so that (proof-ass x-symbol-enable) is pervasive. | David Aspinall | 2003-03-17 |
* | Be more polite with handling of invisibility spec | David Aspinall | 2003-03-14 |
* | Fix sticky mode properties for X-Symbol | David Aspinall | 2003-03-03 |
* | Refactor function used for Isar parsing a little. | David Aspinall | 2003-03-01 |
* | Fix some compile errors | David Aspinall | 2003-02-24 |
* | Temporarily disable mode-class prop on script major mode (for X-sym 4.45beta) | David Aspinall | 2003-02-22 |
* | Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or | David Aspinall | 2003-02-19 |
* | Add support for MMM mode | David Aspinall | 2003-02-18 |
* | Refactor proof-config-done for clarity | David Aspinall | 2003-02-18 |
* | Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsing | David Aspinall | 2003-02-05 |
* | Comments | David Aspinall | 2002-09-14 |
* | Redisplay for gnuemacs on visibility changes. Small parser tweak. Comments. | David Aspinall | 2002-09-11 |
* | Improved implementation of zap-commas font lock behaviour, patch from Stefan ... | David Aspinall | 2002-08-31 |
* | Comments | David Aspinall | 2002-08-31 |
* | Patch from Stefan Monnier for using nested-comment aware parser on GNU Emacs. | David Aspinall | 2002-08-30 |
* | Imenu addition, layout fixes, from Stefan Monnier | David Aspinall | 2002-08-29 |
* | checkdoc induced docstring tweaks. | David Aspinall | 2002-08-28 |
* | Make font-lock-keywords buffer local for sake of Emacs 21.2. | David Aspinall | 2002-08-28 |
* | Doc | David Aspinall | 2002-08-09 |
* | Fix proof-disappearing-proofs; comments | David Aspinall | 2002-08-09 |
* | Refactor proof-done-advancing by abstracting out new functions; fixes for aut... | David Aspinall | 2002-08-09 |
* | Generalise proof elements to include comments, show/hiding of comments. | David Aspinall | 2002-08-08 |
* | Prevent proof spans being duplicated. | David Aspinall | 2002-08-08 |