# HG changeset patch
# User wenzelm
# Date 1482095693 -3600
# Node ID a7f5e59378f7757e025b5863e46806e5d33ba9e9
# Parent  8edca34657588cb1abea907fba19e6bcbf4d245b
tuned whitespace;

diff -r 8edca3465758 -r a7f5e59378f7 NEWS
--- a/NEWS	Sun Dec 18 21:58:13 2016 +0100
+++ b/NEWS	Sun Dec 18 22:14:53 2016 +0100
@@ -3,6 +3,7 @@
 
 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
 
+
 New in this Isabelle version
 ----------------------------