1.1 --- a/NEWS	Thu May 29 11:11:22 2014 +0200
     1.2 +++ b/NEWS	Thu May 29 16:13:47 2014 +0200
     1.3 @@ -755,6 +755,8 @@
     1.4  
     1.5      * Renamed abbreviation integral\<^sup>P to integral\<^sup>N.
     1.6  
     1.7 +* Library/Kleene-Algebra was removed because AFP/Kleene_Algebra subsumes it.
     1.8 +
     1.9  *** Scala ***
    1.10  
    1.11  * The signature and semantics of Document.Snapshot.cumulate_markup /