| Age | Commit message (Expand) | Author |
|---|
| 2000-09-28 | Fix typo, add credit. | David Aspinall |
| 2000-09-28 | Add default target | David Aspinall |
| 2000-09-28 | Added extra section on how to tweak script input to the shell | David Aspinall |
| 2000-09-27 | proper spelling: "Leonor Prensa Nieto"; | Makarius Wenzel |
| 2000-09-27 | Added future section, fixed URLs. Updated to mention proof-script-sexp-comma... | David Aspinall |
| 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 | Slightly shorter name for info dir entry. | David Aspinall |
| 2000-09-21 | Fix infodir entry, it got broken somehow. | David Aspinall |
| 2000-09-21 | Make PG-adapting first so index.html left pointing to main manual | 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 | Moved proof-add-completions to adapting manual | 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 |
| 2000-09-13 | Add sections to chapter 2, and text on adjusting toolbar. Update magic | David Aspinall |
| 2000-09-13 | Minor improvements | David Aspinall |
| 2000-09-12 | Updated magic. | David Aspinall |
| 2000-09-12 | Add provide sym-lock to fix sym lock loading problem | David Aspinall |
| 2000-09-12 | More details about parsing functions. Improved intro | David Aspinall |
| 2000-09-12 | Update date. | David Aspinall |
| 2000-09-08 | Customize always available if PG is | David Aspinall |
| 2000-08-29 | Added proof-shell-auto-terminate-commands | David Aspinall |
| 2000-08-28 | Fix description of manual now broken into two | David Aspinall |
| 2000-08-28 | Updated magic | David Aspinall |
| 2000-08-28 | Fix recursive make | 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-26 | use proof-assistant-table instead of proof-assistants; | 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-09 | Load a couple more file manually. | 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 | Fixes for PA docs, and file load order. | 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-16 | Fixed to load all files and define proof ass specifc vars. | David Aspinall |
| 2000-05-12 | Notes about fixing docstring-magic. | David Aspinall |
| 2000-05-09 | Updated 3.2 changes | David Aspinall |
