# HG changeset patch
# User wenzelm
# Date 1317064168 -7200
# Node ID 24ad77c3a147d6ea211780ceb21532502da6f2c4
# Parent  c8cd5348c76dd1ffe10b4b6d1f3f7c94752c9ee3
tuned;

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