diff options
Diffstat (limited to 'html/doc.html')
-rw-r--r-- | html/doc.html | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/html/doc.html b/html/doc.html index b300dfba..3cd5cf5c 100644 --- a/html/doc.html +++ b/html/doc.html @@ -1,12 +1,19 @@ <h2>Manual</h2> <p> -Two manuals are included in the distribution: -the -<?php htmlshow("ProofGeneral-3.2/doc/ProofGeneral_toc.html","Proof General user manual ","Proof General Manual") ?> -and the -<?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","Adapting Proof General manual","Adapting Proof General manual") ?>, which -gives instructions on how to adapt Proof General to new systems. +There are two manuals for Proof General: +</p> +<ul> +<li> the +<?php htmlshow("ProofGeneral-3.2/doc/ProofGeneral_toc.html","Proof General user manual ","Proof General Manual") ?> +</li> +<li> the +<?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","Adapting Proof General manual","Adapting Proof General manual") ?> +</li> +</ul> +<p> +The second manual gives instructions on how to adapt Proof General to new +proof systems, it's not needed for ordinary use. </p> <p> For printing you can download: |