1 files changed, 11 insertions, 0 deletions
diff --git a/html/news.phtml b/html/news.phtml
index a4f8099a..29fc18fa 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -5,6 +5,17 @@
  <a href="gallery.phtml">gallery</a>
  of publicity shots of Proof General!
  </p>
+<li><b>13th September 1999</b><br>
+ <p>
+ I've just returned from the 
+ <b>Types Summer School, Giens, France</b>
+ 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
+ used to improve the next version.
+ </p>
 <li><b>24th August 1999</b><br>
  <p>
  Proof General version 2.1 is released.