ANNOUNCE
changeset 13007 0940d19b2e2b
parent 12999 8ad8d02b973f
child 13010 3437d8d89803
equal deleted inserted replaced
13006:51c5f3f11d16 13007:0940d19b2e2b
    50     (by Florian Kammüller).
    50     (by Florian Kammüller).
    51 
    51 
    52   * HOL/IMP: new proofs in Isar format
    52   * HOL/IMP: new proofs in Isar format
    53     (by Gerwin Klein).
    53     (by Gerwin Klein).
    54 
    54 
       
    55   * HOL/MicroJava: exception handling on the bytecode level
       
    56     (by Gerwin Klein).
       
    57 
    55   * ZF/UNITY: typeless version of Chandy and Misra's formalism
    58   * ZF/UNITY: typeless version of Chandy and Misra's formalism
    56     (by Sidi O Ehmety).
    59     (by Sidi O Ehmety).
    57 
    60 
    58   * System: improvements and simplifications of document preparation
    61   * System: improvements and simplifications of document preparation
    59     (by Markus Wenzel).
    62     (by Markus Wenzel).