tuned;
authorwenzelm
Wed Apr 15 19:52:45 2009 +0200 (2009-04-15)
changeset 3089744cba7df4003
parent 30896 ec3f33437fe3
child 30898 16912b4e6625
tuned;
ANNOUNCE
     1.1 --- a/ANNOUNCE	Wed Apr 15 15:27:13 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