ANNOUNCE
changeset 30897 44cba7df4003
parent 30894 49c14e3cdc4b
child 33842 efa1b89c79e0
     1.1 --- a/ANNOUNCE	Tue Apr 14 23:58:46 2009 +0200
     1.2 +++ b/ANNOUNCE	Wed Apr 15 19:52:45 2009 +0200
     1.3 @@ -25,8 +25,7 @@
     1.4  * Simplified arrangement of Isabelle startup scripts and settings
     1.5  directory.
     1.6  
     1.7 -* Simplified internal programming interfaces for all Isar language
     1.8 -elements.
     1.9 +* Simplified programming interfaces for all Isar language elements.
    1.10  
    1.11  * General high-level support for concurrent ML programming.
    1.12