--- 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) ----------------------------------