From 0fefcec851aee109dc3ebb41f59562b2ffb206a0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 23 Sep 2000 16:55:45 +0000
Subject: Forthcoming news item

---
 html/news.phtml | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/html/news.phtml b/html/news.phtml
index f198808e..214fd57b 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -2,6 +2,26 @@
 
 
 <ul>
+<li><b>25th Sep 2000</b>
+<p>
+Final week of testing for Proof General 3.2.  
+The last chance to report bugs or request (minor) improvements for this release.
+Please help us by trying out the 
+<a href="develdownload.phtml">pre-release</a>, especially if you are
+relying on an older or non-standard Emacs version.
+Also check to see if the new 
+manuals are useful: now split into
+the user manual in
+<?php htmlshow("ProofGeneral/doc/ProofGeneral_toc.html","HTML","Proof General manual") ?>,
+<?php download_link("ProofGeneral/doc/ProofGeneral.ps.gz", "ps") ?> 
+or  
+<?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?>,
+and the separate "adapting" manual, in
+<?php htmlshow("ProofGeneral/doc/PG-adapting_toc.html","HTML","Adapting Proof General manual") ?>,
+<?php download_link("ProofGeneral/doc/PG-adapting.ps.gz", "ps") ?> 
+or  
+<?php download_link("ProofGeneral/doc/PG-adapting.pdf", "pdf") ?>.
+(Info files are included in the distribution).
 <li><b>14th Sep 2000</b>
 <p>
 Improvements to web pages.  Graphics made smaller, text more concise.
-- 
cgit v1.2.3