From 0f1805c99b0becc3261df69a553778a2d7625ab5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 10:22:04 +0000
Subject: Typos/fixes.

---
 html/develdownload.php | 2 +-
 html/doc.html          | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'html')

diff --git a/html/develdownload.php b/html/develdownload.php
index d0afa599..ebc47ee2 100644
--- a/html/develdownload.php
+++ b/html/develdownload.php
@@ -37,7 +37,7 @@ Here is the pre-release documentation: the user manual in
 <?php download_link("ProofGeneral-latest/doc/ProofGeneral.ps.gz", "ps") ?> 
 or  
 <?php download_link("ProofGeneral-latest/doc/ProofGeneral.pdf", "pdf") ?>,
-and the new separate "adapting" manual, in
+and the adapting manual, in
 <?php htmlshow("ProofGeneral-latest/doc/PG-adapting_toc.html","HTML","Adapting Proof General manual") ?>,
 <?php download_link("ProofGeneral-latest/doc/PG-adapting.ps.gz", "ps") ?> 
 or  
diff --git a/html/doc.html b/html/doc.html
index b8c1cf54..b06b6dd2 100644
--- a/html/doc.html
+++ b/html/doc.html
@@ -33,7 +33,7 @@ the system Info pages.
 If you're considering developing Proof General, please check
 that you are using the documentation for the most recent
 development version of Proof General, available with the
-on the <a href="develdownload">development download</a>.
+<a href="develdownload">development download</a>.
 </p>
 
 <p>
-- 
cgit v1.2.3