From 5072d1df3c6b5a63456e2da6d7b659b397cb48e4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 5 May 2000 15:08:47 +0000
Subject: Hot news about FAQ.

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

(limited to 'html')

diff --git a/html/news.phtml b/html/news.phtml
index 01e41eb3..c4497450 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -6,6 +6,12 @@
 </p>
 
 <ul>
+<li><b>5th May 2000</b>
+<p>
+New!  Proof General <a href="ProofGeneral/FAQ">FAQ</a>.
+Please send questions or suggestions for inclusion to
+<a href="mailto:proofgen@dcs.ed.ac.uk>proofgen@dcs.ed.ac.uk</a>,
+thanks.
 <li><b>28th April 2000</b>
 <p>
 A minor patch to Proof General 3.1 is released today.  To check what
-- 
cgit v1.2.3