diff options
| author | David Aspinall | 2001-09-03 12:50:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-03 12:50:22 +0000 |
| commit | 1dc29c0a0a3551ceb9e5c7bf500809fab916d654 (patch) | |
| tree | 3c4b260f06a51c4df7133af910fb9852f1690bba /html | |
| parent | 33d52156f1bc20e10fe2e784cd5671d611c72e09 (diff) | |
Improve layout
Diffstat (limited to '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: |