# HG changeset patch
# User wenzelm
# Date 1434320598 -7200
# Node ID db238135f3864c6d03fdfd9e47af209d985b3e2b
# Parent  d1a9d098f870a61eb097852457cafb590ec06b3b
tuned whitespace;

diff -r d1a9d098f870 -r db238135f386 NEWS
--- a/NEWS	Sun Jun 14 23:22:31 2015 +0200
+++ b/NEWS	Mon Jun 15 00:23:18 2015 +0200
@@ -122,6 +122,8 @@
     less_eq_multiset_def
     INCOMPATIBILITY
 
+
+
 New in Isabelle2015 (May 2015)
 ------------------------------