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 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/develdownload.php')

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