# HG changeset patch
# User kleing
# Date 1015172625 -3600
# Node ID 0940d19b2e2b426d0efa03b34ea5a26dd06ed759
# Parent  51c5f3f11d1659b72fe56126ec3bb0799212dad7
MicroJava news

diff -r 51c5f3f11d16 -r 0940d19b2e2b ANNOUNCE
--- a/ANNOUNCE	Sun Mar 03 16:59:08 2002 +0100
+++ b/ANNOUNCE	Sun Mar 03 17:23:45 2002 +0100
@@ -52,6 +52,9 @@
   * HOL/IMP: new proofs in Isar format
     (by Gerwin Klein).
 
+  * HOL/MicroJava: exception handling on the bytecode level
+    (by Gerwin Klein).
+
   * ZF/UNITY: typeless version of Chandy and Misra's formalism
     (by Sidi O Ehmety).