diff options
| author | David Aspinall | 2004-01-09 14:59:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-01-09 14:59:39 +0000 |
| commit | 7bb2faa29501477bff249033e58224b16b104fef (patch) | |
| tree | edd57162306ab9a38c36a69971b8e9fdfe0c7dbe /html/kit.php | |
| parent | 2cd0f6980031ec4ed04410e1960bd2c751b275bf (diff) | |
Mention Eclipse award
Diffstat (limited to 'html/kit.php')
| -rw-r--r-- | html/kit.php | 6 |
1 files changed, 6 insertions, 0 deletions
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> |