From 7bb2faa29501477bff249033e58224b16b104fef Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 9 Jan 2004 14:59:39 +0000
Subject: Mention Eclipse award

---
 html/kit.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/html/kit.php b/html/kit.php
index 3dd96cca..9785f01c 100644
--- a/html/kit.php
+++ b/html/kit.php
@@ -55,6 +55,12 @@ Work which is currently in progress includes:
      a PGIP-enabled version of Isabelle/Isar
      (patch available soon).
  </li>
+ <li>Work on <b>Eclipse Proof General</b>, an 
+	<a href="http://www.eclipse.org">Eclipse</a> front end for Proof General
+     (new project sponsored by IBM 
+	<a href="http://www-306.ibm.com/software/info/university/products/eclipse/eig.html">
+	award</a>).
+ </li>
 </ul>
 </p>
 <p>
-- 
cgit v1.2.3