From 1dc29c0a0a3551ceb9e5c7bf500809fab916d654 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 12:50:22 +0000
Subject: Improve layout

---
 html/doc.html | 19 +++++++++++++------
 1 file changed, 13 insertions(+), 6 deletions(-)

(limited to 'html/doc.html')

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:
-- 
cgit v1.2.3