Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
MicroJava news
authorkleing
Sun, 03 Mar 2002 17:23:45 +0100
changeset 13007 0940d19b2e2b
parent 13006 51c5f3f11d16
child 13008 8cbc5f0eee24
MicroJava news
ANNOUNCE file | annotate | diff | comparison | revisions 
--- 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).
isabelle