diff options
| author | David Aspinall | 1999-10-15 17:49:29 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-15 17:49:29 +0000 |
| commit | 564a582e9f3b8f491a553c6db5eb6d156157e068 (patch) | |
| tree | d0a6bd0360c3d3fd1b6e1027556a048107177117 /html/doc.phtml | |
| parent | ac5723025f1de3b6d7131b58b42fa6d4a867efe5 (diff) | |
Doc fixes, php streamlining
Diffstat (limited to 'html/doc.phtml')
| -rw-r--r-- | html/doc.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/doc.phtml b/html/doc.phtml index 7f1f9a10..221fdb3f 100644 --- a/html/doc.phtml +++ b/html/doc.phtml @@ -1,7 +1,7 @@ <h2>Manual</h2> <p> -Here is the Proof +Here is the <?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","Proof General manual","Proof General Manual") ?> in HTML form. <br> For printing you can download the |