From 33014ba4d0f7cb4d290a6e1101759c84433830dd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Sep 1999 17:12:50 +0000
Subject: Added item about Giens

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

(limited to 'html')

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.
-- 
cgit v1.2.3