From b6abfcd691b4955af1e6810aad549cee6344deda Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 5 May 2000 17:02:52 +0000 Subject: Buglet in html --- html/news.phtml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'html') diff --git a/html/news.phtml b/html/news.phtml index c4497450..4a7b6094 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -8,9 +8,10 @@
-New! Proof General FAQ. +New! +Proof General . Please send questions or suggestions for inclusion to -proofgen@dcs.ed.ac.uk, thanks.
-- cgit v1.2.3