| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2001-03-20 | Updated magic | David Aspinall |
| 2000-12-20 | Fix magic | David Aspinall |
| 2000-12-20 | Document proof-shell-last-output and friends | David Aspinall |
| 2000-12-01 | 3.2 -> 3.3pre | David Aspinall |
| 2000-11-13 | *** empty log message *** | Christophe Raffalli |
| 2000-11-10 | *** empty log message *** | Christophe Raffalli |
| 2000-10-02 | Updated magic | David Aspinall |
| 2000-10-02 | Subtitle caps | David Aspinall |
| 2000-09-29 | Typos in credits section | David Aspinall |
| 2000-09-29 | Added credits section | David Aspinall |
| 2000-09-28 | Date becomes Oct | David Aspinall |
| 2000-09-28 | Added extra section on how to tweak script input to the shell | David Aspinall |
| 2000-09-27 | Added future section, fixed URLs. Updated to mention proof-script-sexp-comma... | David Aspinall |
| 2000-09-26 | Fix Proof General web page to www.proofgeneral.org. | David Aspinall |
| 2000-09-21 | Slightly shorter name for info dir entry. | David Aspinall |
| 2000-09-21 | Improved adding more lisp code chapter. | David Aspinall |
| 2000-09-14 | Encourage use of easy instantiation mechanism. | David Aspinall |
| 2000-09-14 | Added doc of completions, several other script settings. Sections in script ... | David Aspinall |
| 2000-09-14 | Note about creating images for toolbar. | David Aspinall |
| 2000-09-13 | Removed keystroke index. | David Aspinall |
| 2000-09-13 | Remove keystroke index, add appendix with demoisa code (directly included) | David Aspinall |
