| Age | Commit message (Expand) | Author |
|---|
| 2008-01-24 | Fixes and cleanups for coq-indent-line, see Trac #172 | David Aspinall |
| 2008-01-17 | Disable removal from input history | David Aspinall |
| 2008-01-17 | Comment | David Aspinall |
| 2008-01-17 | Add input history ring. Cleanup comments. | David Aspinall |
| 2008-01-16 | Reduce compiler warnings. Minor fixes. | David Aspinall |
| 2008-01-16 | Compilation tweaks | David Aspinall |
| 2008-01-15 | Simplify font lock settings, removing proof-font-lock-case-fold-search | David Aspinall |
| 2008-01-15 | Many rearrangements for compatibility, efficient/correct compilation, namespa... | David Aspinall |
| 2007-12-10 | Modify buffer-invisibility-spec to work smoothly with X-Symbol/Emacs | David Aspinall |
| 2007-12-09 | Patch for buggy derived.el in XEmacs 21.5.b28 | David Aspinall |
| 2007-08-19 | Comments | David Aspinall |
| 2007-08-14 | Add support for sending back literal commands reusing PBP markup mechanisms. | David Aspinall |
| 2007-04-23 | Clean comments around eval-and-compile proof-mode | David Aspinall |
| 2007-04-16 | Fixed a parenthesis, suggested by Stefan Monnier. | Pierre Courtieu |
| 2006-04-26 | Changed the type of proof-goal-command-p. It takes now a span, which | Pierre Courtieu |
| 2005-03-21 | Updated. | David Aspinall |
| 2004-10-20 | fixed a problem with x-symbol not enables in script buffer | Christophe Raffalli |
| 2004-10-04 | Add arg to forward-comment for GNU Emacs. | David Aspinall |
| 2004-06-03 | proof-goto-end-of-locked: add push-mark; fix: goto end of locked even if | David Aspinall |
| 2004-04-26 | Allow proof-goto-end-of-locked to work again if no active scripting buffer. | David Aspinall |
| 2004-04-24 | Add proof-shell-require-command-regexp, proof-done-advancing-require-function | David Aspinall |
| 2004-04-22 | Add proof-deactivate-scripting-hook. Also note activate-script-hook is no lo... | David Aspinall |
| 2004-04-17 | 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-14 | 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-13 | Abstract out proof-end-of-locked-visible-p | David Aspinall |
| 2004-04-06 | 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-02 | Use proof-shell-wait; comments. | David Aspinall |
| 2004-03-30 | generic-find-and-forget: handle proof-forget-id-command not being set | David Aspinall |
| 2004-03-02 | Switch ?\ -> ?\040 (Joe Corneli reports problem with CVS GNU Emacs) | David Aspinall |
| 2004-03-01 | Fix buglets shown up by byte compilation. | David Aspinall |
| 2003-10-05 | Run checkdoc | David Aspinall |
| 2003-10-05 | Add interactive input setting, and extra flags for action. | David Aspinall |
| 2003-06-16 | Give text default for hidden proof image. | David Aspinall |
| 2003-06-08 | Only give hint about C-c C-. if not already visible | David Aspinall |
| 2003-06-05 | 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-05-28 | proof-strict-read-only: only alter locked span if live (bug fix) | David Aspinall |
| 2003-05-20 | Buglet in proof-mark-buffer-atomic | David Aspinall |
| 2003-04-05 | Comments. | David Aspinall |
| 2003-03-17 | 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-14 | Be more polite with handling of invisibility spec | David Aspinall |
| 2003-03-03 | Fix sticky mode properties for X-Symbol | David Aspinall |
| 2003-03-01 | Refactor function used for Isar parsing a little. | David Aspinall |
| 2003-02-24 | Fix some compile errors | David Aspinall |
