| Age | Commit message (Expand) | Author |
|---|
| 2005-05-17 | Fix menu path to Customize | David Aspinall |
| 2004-08-25 | Update for 3.6 | David Aspinall |
| 2004-06-04 | Update magic, dates | David Aspinall |
| 2004-05-09 | Update versions and dates. Extra section in adapting for syntax table, etc. | David Aspinall |
| 2004-05-06 | Whitespace. | David Aspinall |
| 2004-05-06 | Run magic, clean up duplicated entries and whitespace. | David Aspinall |
| 2004-04-24 | Spacing | David Aspinall |
| 2004-04-24 | Add proof-shell-require-command-regexp, proof-done-advancing-require-function | David Aspinall |
| 2004-04-17 | Updated magic | David Aspinall |
| 2004-04-17 | Update dates, update magic, doc proof-cannot-reopen-processed-files. | David Aspinall |
| 2004-04-16 | Explain how to configure Imenu. | David Aspinall |
| 2004-04-03 | Update version to 3.5 | David Aspinall |
| 2004-04-02 | Update magic | David Aspinall |
| 2004-03-23 | 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-02-08 | Update some urls | David Aspinall |
| 2004-02-08 | Update magic | David Aspinall |
| 2003-12-11 | Fix domain name | David Aspinall |
| 2003-06-05 | Update magic | David Aspinall |
| 2003-03-17 | Updated magic | David Aspinall |
| 2002-09-11 | Update version number, reorg. | David Aspinall |
| 2002-08-31 | Doc new proof-zap-commas | David Aspinall |
| 2002-08-29 | Remove proof-splash-extensions | David Aspinall |
| 2002-08-29 | Update magic | David Aspinall |
| 2002-08-28 | Update dir entries, remove localdir file | David Aspinall |
| 2002-08-12 | Update magic | David Aspinall |
| 2002-08-08 | Fix markup | David Aspinall |
| 2002-08-08 | Fix email addresses; tweaks. | David Aspinall |
| 2002-08-07 | Doc proof-shell-strip-crs-from-output; update magic | David Aspinall |
| 2002-07-19 | Variable name change proof-comment-{start,end}-regexp -> proof-script-comment... | David Aspinall |
| 2002-07-18 | Update magic | David Aspinall |
| 2002-07-16 | Refactor several variable names; clean up, doc subterm markup and output disp... | David Aspinall |
| 2002-07-01 | Updates for 3.4 | David Aspinall |
| 2002-06-21 | GPL, 3.4 dates | David Aspinall |
| 2002-06-19 | Add doc of proof-shell-last-prompt. | David Aspinall |
| 2002-06-18 | Update magic. Document nested proof settings. | David Aspinall |
| 2002-04-23 | Fix URL for X-symbol | David Aspinall |
| 2002-03-21 | Document some new settings | David Aspinall |
| 2002-01-16 | FSF Emacs -> GNU Emacs | David Aspinall |
| 2001-12-04 | update from make process; | Makarius Wenzel |
| 2001-09-24 | Update magic | David Aspinall |
| 2001-09-13 | Link uref nicely | David Aspinall |
| 2001-09-13 | Updates from an old printout of the manual | David Aspinall |
| 2001-09-09 | Update docs. | David Aspinall |
| 2001-09-03 | Update version numbers, time stamps. | David Aspinall |
| 2001-08-28 | Fix web page for kit | David Aspinall |
| 2001-08-01 | Update last updated, copyright | David Aspinall |
| 2001-05-08 | Change info dir entry to appear next to Proof General entry. | David Aspinall |
| 2001-05-01 | Try to disable image for now | David Aspinall |
