| Commit message (Expand) | Author | Age |
* | Shorten tooltip | David Aspinall | 2007-12-10 |
* | defconst proof-warning-face -- as expected by GNU Emacs; | Makarius Wenzel | 2007-11-04 |
* | 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-19 |
* | Add support for sending back literal commands reusing PBP markup mechanisms. | David Aspinall | 2007-08-14 |
* | Make proof-shell-unicode non-nil by default | David Aspinall | 2007-04-30 |
* | Remove proof-indent-pad-eol atrocity | David Aspinall | 2007-02-28 |
* | Tweak. | David Aspinall | 2007-01-20 |
* | proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break... | Makarius Wenzel | 2006-12-07 |
* | Rationalise testing for different values of window-system, to/and support mor... | David Aspinall | 2006-10-27 |
* | Add buffer history browsing | David Aspinall | 2006-09-24 |
* | Making error highlighting more robust (for both emacsen) and use a | Pierre Courtieu | 2006-09-06 |
* | Error highliting in coq now works | Pierre Courtieu | 2006-09-05 |
* | Comments and docstring fixes in lib and generic. | Pierre Courtieu | 2006-08-23 |
* | Changed the type of proof-goal-command-p. It takes now a span, which | Pierre Courtieu | 2006-04-26 |
* | Add back lost edits | David Aspinall | 2006-02-14 |
* | Add <PA>-prog-args and <PA>-prog-env | David Aspinall | 2006-02-14 |
* | PG 3.6: remove Info item from toolbar; it's not very useful and under PA->Hel... | David Aspinall | 2006-01-09 |
* | Fix for coloured face specs on Aquaemacs | David Aspinall | 2006-01-08 |
* | added proof-shell-unicode; | Makarius Wenzel | 2005-09-14 |
* | added pg-special-char-regexp (used to be a constant in proof-utils.el); | Makarius Wenzel | 2005-09-01 |
* | Move some keybindings from script mode to universal keys | David Aspinall | 2005-08-10 |
* | Key bindings for proof-shell-exit, proof-shell-start. | David Aspinall | 2005-05-31 |
* | - shell-command-to-string can fail in various corner cases. | David Aspinall | 2005-05-17 |
* | Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se... | David Aspinall | 2004-06-16 |
* | Adjust colours to a lighter scheme. | David Aspinall | 2004-06-13 |
* | Add proof-shell-require-command-regexp, proof-done-advancing-require-function | David Aspinall | 2004-04-24 |
* | Add proof-deactivate-scripting-hook | David Aspinall | 2004-04-22 |
* | 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-17 |
* | 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-15 |
* | 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-14 |
* | Adjust proof-script-comment-end to fix comment-end to be empty for end-of-lin... | David Aspinall | 2004-04-06 |
* | Turn on experimental features for 3.5. Adjust display settings. | David Aspinall | 2004-04-02 |
* | Mention importance of proof-shell-annotated-prompt-regexp. | David Aspinall | 2004-03-30 |
* | bug fix in holes (call to proof-indent-line instead of funcall | Pierre Courtieu | 2004-03-15 |
* | Comments. | David Aspinall | 2004-02-28 |
* | Update email and web addresses | David Aspinall | 2004-02-08 |
* | Remove more proofgeneral.org mail aliases | David Aspinall | 2004-02-07 |
* | Fix domain name | David Aspinall | 2003-12-11 |
* | Add interactive input setting, and extra flags for action. | David Aspinall | 2003-10-05 |
* | 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-08 |
* | 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-06-05 |
* | Add pg-show-hints | David Aspinall | 2003-05-24 |
* | Note about auto deactivate scripting action | David Aspinall | 2003-05-21 |
* | Default to not using pad-eol | David Aspinall | 2003-05-20 |