author | kleing |
Sun, 03 Mar 2002 17:23:45 +0100 | |
changeset 13007 | 0940d19b2e2b |
parent 13006 | 51c5f3f11d16 |
child 13008 | 8cbc5f0eee24 |
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