| Age | Commit message (Expand) | Author |
|---|
| 2001-08-01 | Update last updated, copyright | David Aspinall |
| 2001-05-29 | AF2 -> PhoX name change | David Aspinall |
| 2001-05-16 | Minor | David Aspinall |
| 2001-05-08 | Fix section title for makeinfo | David Aspinall |
| 2001-05-08 | Updates for 3.3 | David Aspinall |
| 2001-05-01 | Try to disable image for now | David Aspinall |
| 2001-02-01 | updated thms_containing; | Makarius Wenzel |
| 2000-12-01 | 3.2 -> 3.3pre | David Aspinall |
| 2000-09-28 | Date becomes Oct | David Aspinall |
| 2000-09-28 | Tweaks | David Aspinall |
| 2000-09-28 | Fix typo, add credit. | David Aspinall |
| 2000-09-27 | proper spelling: "Leonor Prensa Nieto"; | Makarius Wenzel |
| 2000-09-27 | Shortened BUGs appendix, other improvements | David Aspinall |
| 2000-09-26 | Fix Proof General web page to www.proofgeneral.org. | David Aspinall |
| 2000-09-23 | Update date. | David Aspinall |
| 2000-09-21 | Fix infodir entry, it got broken somehow. | David Aspinall |
| 2000-09-14 | Moved proof-add-completions to adapting manual | David Aspinall |
| 2000-09-13 | Minor improvements | David Aspinall |
| 2000-09-12 | Update date. | David Aspinall |
| 2000-09-08 | Customize always available if PG is | David Aspinall |
| 2000-08-28 | Fix description of manual now broken into two | David Aspinall |
| 2000-08-28 | Missing full stop | David Aspinall |
| 2000-08-28 | Split manual into two parts. | David Aspinall |
| 2000-07-26 | updated; | Makarius Wenzel |
| 2000-07-12 | Minor updates | David Aspinall |
| 2000-06-19 | Updated list of helpers. Typo | David Aspinall |
| 2000-06-15 | Elaborated on where to find example file | David Aspinall |
| 2000-06-09 | Updated magic. | David Aspinall |
| 2000-06-08 | completely new indentation setup: faster, easier to configure; | Makarius Wenzel |
| 2000-06-05 | Added paragraph and index entry explaining prefix arguments, | David Aspinall |
| 2000-06-01 | Added proof-comment-{start,end}-regexp. | David Aspinall |
| 2000-05-29 | Updated with new keybindings for Coq, Lego. | David Aspinall |
| 2000-05-26 | Updated magic | David Aspinall |
| 2000-05-25 | Fix info bug. | David Aspinall |
| 2000-05-25 | Doc more new features and bug fixes for 3.2. | David Aspinall |
| 2000-05-16 | Updated magic, new funcs. | David Aspinall |
| 2000-05-09 | Updated 3.2 changes | David Aspinall |
| 2000-05-05 | Updated 3.2 details. Keybindings for Coq, LEGO shortcuts changed. | David Aspinall |
| 2000-05-05 | Fix markup bug. | David Aspinall |
| 2000-05-05 | Expanded explanation of selecting Isar. | David Aspinall |
| 2000-05-01 | Added proof-assistant-menu-entries for proof assistant specific menus. | David Aspinall |
| 2000-04-07 | mode-for-pbp -> mode-for-goals | David Aspinall |
| 2000-04-07 | Updates for 3.2. Added documentation of silent settings. | David Aspinall |
| 2000-03-24 | Add some more bullets. | David Aspinall |
| 2000-03-24 | Updated copy date | David Aspinall |
| 2000-03-23 | Made magic. | David Aspinall |
| 2000-03-22 | Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-... | David Aspinall |
| 2000-03-22 | Added new customization: proof-shell-string-escapes. | David Aspinall |
| 2000-03-19 | Remove comma from section heading, bad for info. | David Aspinall |
| 2000-03-19 | Ack ETL | David Aspinall |
