ANNOUNCE
changeset 13007 0940d19b2e2b
parent 12999 8ad8d02b973f
child 13010 3437d8d89803
     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