changeset 30897 | 44cba7df4003 |
parent 30894 | 49c14e3cdc4b |
child 33842 | efa1b89c79e0 |
--- a/ANNOUNCE Wed Apr 15 15:27:13 2009 +0200 +++ b/ANNOUNCE Wed Apr 15 19:52:45 2009 +0200 @@ -25,8 +25,7 @@ * Simplified arrangement of Isabelle startup scripts and settings directory. -* Simplified internal programming interfaces for all Isar language -elements. +* Simplified programming interfaces for all Isar language elements. * General high-level support for concurrent ML programming.