| Commit message (Expand) | Author | Age |
|---|
| * | 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 |
| * | Add proof-indent-pad-eol for prettifying colouring in XEmacs | David Aspinall | 2003-04-05 |
| * | Allow proof-strict-read-only to be changed dyamically, add to quick opts menu... | David Aspinall | 2003-03-17 |
| * | Add support for MMM mode | David Aspinall | 2003-02-18 |
| * | Doc generalisation of proof-script-command-end-regexp. | David Aspinall | 2003-02-05 |
| * | Add followdown | David Aspinall | 2002-12-29 |
| * | FIXME | David Aspinall | 2002-11-20 |
| * | Add proof-shell-issue-pgip-cmd | David Aspinall | 2002-11-14 |
| * | Add proof-shrink-windows-tofit option. | David Aspinall | 2002-09-11 |
| * | Docstrings, setting for thms buffer | David Aspinall | 2002-09-04 |
| * | Improved implementation of zap-commas font lock behaviour, patch from Stefan ... | David Aspinall | 2002-08-31 |
| * | Try to reduce contrast for highlighting face | David Aspinall | 2002-08-31 |
| * | Switch to using new parser by default. Disable fly-past-comments by default. | David Aspinall | 2002-08-30 |
| * | Strict read works on GNU Emacs 21.2. | David Aspinall | 2002-08-30 |
| * | Change proof-shell-theorem-dependency-regexp to use two pieces: names and dep... | David Aspinall | 2002-08-28 |
Pierre Courtieu
David Aspinall
Makarius Wenzel