diff -r c8cd5348c76d -r 24ad77c3a147 NEWS
--- a/NEWS	Mon Sep 26 20:53:53 2011 +0200
+++ b/NEWS	Mon Sep 26 21:09:28 2011 +0200
@@ -614,6 +614,7 @@
 delete or update it from ~~/lib/fonts/.
 
 
+
 New in Isabelle2011 (January 2011)
 ----------------------------------