| Commit message (Expand) | Author | Age |
|---|
| * | 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 |
| * | Add proof-shell-theorem-dependency-list-split | David Aspinall | 2002-08-28 |
| * | Add C-c C-w to universal keys. | David Aspinall | 2002-08-27 |
| * | Menu name | David Aspinall | 2002-08-27 |
| * | Tweaks to faces. Set visible default for tactics-name-face. | David Aspinall | 2002-08-16 |
| * | Add context menu extensions, query dependencies cmd | David Aspinall | 2002-08-16 |
| * | Refactoring | David Aspinall | 2002-08-15 |
| * | Docstring | David Aspinall | 2002-08-12 |
| * | Docstring | David Aspinall | 2002-08-12 |
| * | Refactor proof-done-advancing by abstracting out new functions; fixes for aut... | David Aspinall | 2002-08-09 |
| * | Add menu entry for toggling visibility | David Aspinall | 2002-08-09 |
| * | Generalise proof elements to include comments, show/hiding of comments. | David Aspinall | 2002-08-08 |
| * | Enable exper features for pre-releases automatically. | David Aspinall | 2002-08-08 |
| * | Tweak menu; add proof-shell-show-dependency-cmd | David Aspinall | 2002-08-08 |
| * | Fix docs | David Aspinall | 2002-08-07 |
| * | Rename proof-dont-switch-windows -> proof-three-window-mode | David Aspinall | 2002-08-07 |
| * | Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to ... | David Aspinall | 2002-08-07 |
| * | Add proof-shell-strip-crs-from-output | David Aspinall | 2002-08-07 |
| * | Menu capitalization; support email addr. | David Aspinall | 2002-08-07 |
| * | Comments | David Aspinall | 2002-08-07 |
| * | Reduce proof-shell-quite-timeout | David Aspinall | 2002-07-19 |
| * | Comments | David Aspinall | 2002-07-18 |
| * | Fix active variable highlighting in Isabelle with X-Symbol. | David Aspinall | 2002-07-18 |
| * | Add pg-subterm-help-cmd | David Aspinall | 2002-07-17 |
| * | Refactor several variable names; clean up, doc subterm markup and output disp... | David Aspinall | 2002-07-16 |
David Aspinall