diff options
| author | David Aspinall | 1999-11-23 18:24:24 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-23 18:24:24 +0000 |
| commit | 650e213721a2b8212383a53b4f3b0cc665ea53c6 (patch) | |
| tree | c51463459eef5066141e55252d838c5e968483de /html | |
| parent | 79a0e67cdc9d3783d2a89a1108a8153c0b912a44 (diff) | |
Clarify formats available.
Diffstat (limited to 'html')
| -rw-r--r-- | html/doc.phtml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/html/doc.phtml b/html/doc.phtml index d99c2dc8..e8c80f30 100644 --- a/html/doc.phtml +++ b/html/doc.phtml @@ -19,17 +19,17 @@ in the last stable release. </p> <p> -Full documentation for Proof General is included in the <?php -link_root("download","download.") ?> When running Proof General the -manual is available from the "Proof General" menu. It should also -appear in the system info pages. +The manual (in HTML and Info formats), as well as other documentation, +is included in the <?php link_root("download","download.") ?> When +running Proof General the manual is available from the "Proof General" +menu. It should also appear in the system Info pages. </p> <p> You can discuss Proof General with other users and receive announcements by joining our <a href="mailinglist.phtml">mailing -lists</a>. +list</a>. </p> <hr> |