diff options
| author | David Aspinall | 1999-07-03 17:33:19 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-03 17:33:19 +0000 |
| commit | 113052b13e29a67b4fe4221e8bf772ad813ebfb7 (patch) | |
| tree | 4ba60917ae7f04b5037b1d86ebe3acf50240f10c /html/doc.phtml | |
| parent | 7e68d347a1c2a5e26b10b2225d4dfda5a3e0ca77 (diff) | |
Tweaks and validation fixes.
Diffstat (limited to 'html/doc.phtml')
| -rw-r--r-- | html/doc.phtml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/doc.phtml b/html/doc.phtml index cfc68d30..4b67c547 100644 --- a/html/doc.phtml +++ b/html/doc.phtml @@ -1,4 +1,4 @@ -<h2>Manual</h3> +<h2>Manual</h2> <p> Full documentation for Proof General is included in the <?php @@ -19,7 +19,7 @@ For printing you can download the <!-- <?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?> --> </p> <p> -<it>Warning:</it> the manual above is taken from the current +<i>Warning:</i> the manual above is taken from the current pre-release and may be updated from the documentation included in the last stable release. </p> |