| Commit message (Expand) | Author | Age |
|---|
| * | pg-topterm-char -> pg-topterm-regexp |  David Aspinall | 2007-08-19 |
| * | Add support for sending back literal commands reusing PBP markup mechanisms. | David Aspinall | 2007-08-14 |
| * | Fix broken texi magic strings. | David Aspinall | 2007-06-19 |
| * | Account for new default behaviour of texi2html, using subdir for manuals | David Aspinall | 2007-06-19 |
| * | Fix menu path to Customize | David Aspinall | 2005-05-17 |
| * | Update for 3.6 | David Aspinall | 2004-08-25 |
| * | Update magic, dates | David Aspinall | 2004-06-04 |
| * | Update versions and dates. Extra section in adapting for syntax table, etc. | David Aspinall | 2004-05-09 |
| * | Whitespace. | David Aspinall | 2004-05-06 |
| * | Run magic, clean up duplicated entries and whitespace. | David Aspinall | 2004-05-06 |
| * | Spacing | David Aspinall | 2004-04-24 |
| * | Add proof-shell-require-command-regexp, proof-done-advancing-require-function | David Aspinall | 2004-04-24 |
| * | Updated magic | David Aspinall | 2004-04-17 |
| * | Update dates, update magic, doc proof-cannot-reopen-processed-files. | David Aspinall | 2004-04-17 |
| * | Explain how to configure Imenu. | David Aspinall | 2004-04-16 |
| * | Update version to 3.5 | David Aspinall | 2004-04-03 |
| * | Update magic | David Aspinall | 2004-04-02 |
| * | Update date | David Aspinall | 2004-03-23 |
| * | Intro to 3.5 version, Emacs version update | David Aspinall | 2004-03-23 |
| * | Update last updated stamp | David Aspinall | 2004-03-23 |
| * | Update some urls | David Aspinall | 2004-02-08 |
| * | Update magic | David Aspinall | 2004-02-08 |
| * | Fix domain name | David Aspinall | 2003-12-11 |
| * | Update magic | David Aspinall | 2003-06-05 |
| * | Updated magic | David Aspinall | 2003-03-17 |
| * | Update version number, reorg. | David Aspinall | 2002-09-11 |
| * | Doc new proof-zap-commas | David Aspinall | 2002-08-31 |
| * | Remove proof-splash-extensions | David Aspinall | 2002-08-29 |
| * | Update magic | David Aspinall | 2002-08-29 |
| * | Update dir entries, remove localdir file | David Aspinall | 2002-08-28 |
| * | Update magic | David Aspinall | 2002-08-12 |
| * | Fix markup | David Aspinall | 2002-08-08 |
| * | Fix email addresses; tweaks. | David Aspinall | 2002-08-08 |
| * | Doc proof-shell-strip-crs-from-output; update magic | David Aspinall | 2002-08-07 |
| * | Variable name change proof-comment-{start,end}-regexp -> proof-script-comment... | David Aspinall | 2002-07-19 |
| * | Update magic | David Aspinall | 2002-07-18 |
| * | Refactor several variable names; clean up, doc subterm markup and output disp... | David Aspinall | 2002-07-16 |
| * | Updates for 3.4 | David Aspinall | 2002-07-01 |
| * | GPL, 3.4 dates | David Aspinall | 2002-06-21 |
| * | Add doc of proof-shell-last-prompt. | David Aspinall | 2002-06-19 |
| * | Update magic. Document nested proof settings. | David Aspinall | 2002-06-18 |
| * | Fix URL for X-symbol | David Aspinall | 2002-04-23 |
| * | Document some new settings | David Aspinall | 2002-03-21 |
| * | FSF Emacs -> GNU Emacs | David Aspinall | 2002-01-16 |
| * | update from make process; |  Makarius Wenzel | 2001-12-04 |
| * | Update magic | David Aspinall | 2001-09-24 |
| * | Link uref nicely | David Aspinall | 2001-09-13 |
| * | Updates from an old printout of the manual | David Aspinall | 2001-09-13 |
| * | Update docs. | David Aspinall | 2001-09-09 |
| * | Update version numbers, time stamps. | David Aspinall | 2001-09-03 |
David Aspinall
Makarius Wenzel