1.1 --- a/NEWS	Mon Sep 26 20:53:53 2011 +0200
     1.2 +++ b/NEWS	Mon Sep 26 21:09:28 2011 +0200
     1.3 @@ -614,6 +614,7 @@
     1.4  delete or update it from ~~/lib/fonts/.
     1.5  
     1.6  
     1.7 +
     1.8  New in Isabelle2011 (January 2011)
     1.9  ----------------------------------
    1.10