diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-11-05 15:46:41 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-11-05 15:46:41 +0000 |
| commit | 8bbd767323c5fc14e5f22991e2c800dffd6366da (patch) | |
| tree | dcd2978a2a3de21c8f202459fe91b940ddb76eb1 /doc/notes.txt | |
| parent | 8e87e720fb393c4d1748f7aedbe366cd12f6770e (diff) | |
completed chapter on LEGO Proof General
Diffstat (limited to 'doc/notes.txt')
| -rw-r--r-- | doc/notes.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/notes.txt b/doc/notes.txt index 5ebe8c35..fd32d00b 100644 --- a/doc/notes.txt +++ b/doc/notes.txt @@ -26,7 +26,7 @@ Suggestion for outline of improved documentation. 2.5 Other commands 2.4 Walkthrough example [maybe in appendix?] - 3. Advanced script management [tms] + 3. Advanced script management [done] 3.1 Proof General's view of processed files 3.2 Switching between proof scripts 3.3 Retracting across files @@ -41,7 +41,7 @@ Suggestion for outline of improved documentation. 4.2 Using proof assistant on another machine 4.3 Examining configuration settings (xref'd later) - 5. LEGO Proof General [tms] + 5. LEGO Proof General [done] 5.1 LEGO commands 5.2 LEGO customizations |