MicroJava news
authorkleing
Sun Mar 03 17:23:45 2002 +0100 (2002-03-03)
changeset 130070940d19b2e2b
parent 13006 51c5f3f11d16
child 13008 8cbc5f0eee24
MicroJava news
ANNOUNCE
     1.1 --- a/ANNOUNCE	Sun Mar 03 16:59:08 2002 +0100
     1.2 +++ b/ANNOUNCE	Sun Mar 03 17:23:45 2002 +0100
     1.3 @@ -52,6 +52,9 @@
     1.4    * HOL/IMP: new proofs in Isar format
     1.5      (by Gerwin Klein).
     1.6  
     1.7 +  * HOL/MicroJava: exception handling on the bytecode level
     1.8 +    (by Gerwin Klein).
     1.9 +
    1.10    * ZF/UNITY: typeless version of Chandy and Misra's formalism
    1.11      (by Sidi O Ehmety).
    1.12