# HG changeset patch
# User wenzelm
# Date 1406467500 -7200
# Node ID 8ccc4875fe4faf84e364450d234a5bf028af595d
# Parent  65dc798bb1fbc6db4946333a7e4d03d9b9223559
tuned;

diff -r 65dc798bb1fb -r 8ccc4875fe4f NEWS
--- a/NEWS	Sat Jul 26 19:19:19 2014 +0200
+++ b/NEWS	Sun Jul 27 15:25:00 2014 +0200
@@ -1048,6 +1048,7 @@
 of TeX Live from Cygwin.
 
 
+
 New in Isabelle2013-2 (December 2013)
 -------------------------------------