diff options
| author | David Aspinall | 1998-11-03 14:44:01 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-03 14:44:01 +0000 |
| commit | f1cd3b791824c8ef9af58f38df637744afb033f5 (patch) | |
| tree | 374e269d08caa8b679c53b26f07910de8bfdd421 /doc/notes.txt | |
| parent | d152a13a2f5ec4461adc2f3ae7860dde2a45dfcd (diff) | |
Began documentation of options, plus other things
Diffstat (limited to 'doc/notes.txt')
| -rw-r--r-- | doc/notes.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/notes.txt b/doc/notes.txt index 9b91c191..f44cb20c 100644 --- a/doc/notes.txt +++ b/doc/notes.txt @@ -12,7 +12,7 @@ Suggestion for outline of improved documentation. confusing to the users, at least! 1. Introduction [da] - 1.1 Description + 1.1 Quick start guide 1.2 Feature list, xref'd to later chaps. 1.2 Supported Proof Assistants, xref'd too. Support for new instances, xref'd to later chaps. |