| Age | Commit message (Expand) | Author |
|---|
| 2007-12-10 | Comments. | David Aspinall |
| 2007-12-10 | Shorten tooltip | David Aspinall |
| 2007-11-04 | defconst proof-warning-face -- as expected by GNU Emacs; | Makarius Wenzel |
| 2007-08-19 | Fix attribute for proof-active-area-face | David Aspinall |
| 2007-08-19 | proof-active-area-face: highlighting face for active area | David Aspinall |
| 2007-08-14 | Add support for sending back literal commands reusing PBP markup mechanisms. | David Aspinall |
| 2007-04-30 | Make proof-shell-unicode non-nil by default | David Aspinall |
| 2007-02-28 | Remove proof-indent-pad-eol atrocity | David Aspinall |
| 2007-01-20 | Tweak. | David Aspinall |
| 2006-12-07 | proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break... | Makarius Wenzel |
| 2006-10-27 | Rationalise testing for different values of window-system, to/and support mor... | David Aspinall |
| 2006-09-24 | Add buffer history browsing | David Aspinall |
| 2006-09-06 | Making error highlighting more robust (for both emacsen) and use a | Pierre Courtieu |
| 2006-09-05 | Error highliting in coq now works | Pierre Courtieu |
| 2006-08-23 | Comments and docstring fixes in lib and generic. | Pierre Courtieu |
| 2006-04-26 | Changed the type of proof-goal-command-p. It takes now a span, which | Pierre Courtieu |
| 2006-02-14 | Add back lost edits | David Aspinall |
| 2006-02-14 | Add <PA>-prog-args and <PA>-prog-env | David Aspinall |
| 2006-01-09 | PG 3.6: remove Info item from toolbar; it's not very useful and under PA->Hel... | David Aspinall |
| 2006-01-08 | Fix for coloured face specs on Aquaemacs | David Aspinall |
| 2005-09-14 | added proof-shell-unicode; | Makarius Wenzel |
| 2005-09-01 | added pg-special-char-regexp (used to be a constant in proof-utils.el); | Makarius Wenzel |
| 2005-08-10 | Move some keybindings from script mode to universal keys | David Aspinall |
| 2005-05-31 | Key bindings for proof-shell-exit, proof-shell-start. | David Aspinall |
| 2005-05-17 | - shell-command-to-string can fail in various corner cases. | David Aspinall |
| 2004-06-16 | Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se... | David Aspinall |
| 2004-06-13 | Adjust colours to a lighter scheme. | 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 | David Aspinall |
| 2004-04-17 | Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo... | David Aspinall |
| 2004-04-17 | Lighter background colour for proof-error-face | David Aspinall |
| 2004-04-15 | Change error face to firebrick (again) | David Aspinall |
| 2004-04-15 | Add proof-script-syntax-table-entries, proof-shell-syntax-table-entries. | David Aspinall |
| 2004-04-14 | Add proof-imenu-enable. Other doc tweaks. | David Aspinall |
| 2004-04-14 | Add proof-script-imenu-generic-expression for configuring imenu. | 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 | Turn on experimental features for 3.5. Adjust display settings. | David Aspinall |
| 2004-03-30 | Mention importance of proof-shell-annotated-prompt-regexp. | David Aspinall |
| 2004-03-15 | bug fix in holes (call to proof-indent-line instead of funcall | Pierre Courtieu |
| 2004-02-28 | Comments. | David Aspinall |
| 2004-02-08 | Update email and web addresses | David Aspinall |
| 2004-02-07 | Remove more proofgeneral.org mail aliases | David Aspinall |
| 2003-12-11 | Fix domain name | David Aspinall |
| 2003-10-05 | Add interactive input setting, and extra flags for action. | David Aspinall |
| 2003-06-08 | Extend proof-shell-identifier-under-mouse to allow regions, and also depend o... | David Aspinall |
| 2003-06-08 | Add simple but effective identifier-under-mouse-query command. | David Aspinall |
| 2003-06-05 | Remove proof-trace-output-fontify-enable (unused) in favour of proof-trace-ou... | David Aspinall |
| 2003-06-05 | By default, do not move pointer on interrupt, only error; tune hints for spans | David Aspinall |
| 2003-05-24 | Add pg-show-hints | David Aspinall |
| 2003-05-21 | Note about auto deactivate scripting action | David Aspinall |
