diff options
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> |