From dde2904045d871721d4e015911199b24e14cd7a3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Sep 1999 11:02:57 +0000
Subject: Added names of helpful people at summer shcool

---
 html/news.phtml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'html')

diff --git a/html/news.phtml b/html/news.phtml
index 06ecbf7f..8856a97b 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -6,9 +6,16 @@
  where Proof General was used for a class of
  about 50 students who were learning
  Coq, Isabelle, and LEGO.  I received
- many useful comments and feedback 
- (thanks to everyone), which will be
+ many useful comments and feedback,
+ which will be
  used to improve the next version.
+ Thanks to everyone who gave suggestions and bug reports
+ to me, including: 
+ Michael Abbott,
+ Bernd Grobauer,
+ Sebastian Skalberg,
+ Thierry Massart,
+ Darmalingum Muthiayen.
  </p>
 <li><b>27th August 1999</b><br>
  <p>
-- 
cgit v1.2.3