diff options
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> |