# HG changeset patch
# User wenzelm
# Date 1653859140 -7200
# Node ID 022afbbf31940ef5a4e59d8d2f2e6d5bdfb6f986
# Parent  b1748f6ca6c867cb9a91d9694b82ec6a2d5e0058
tuned whitespace;

diff -r b1748f6ca6c8 -r 022afbbf3194 NEWS
--- a/NEWS	Sun May 29 22:47:34 2022 +0200
+++ b/NEWS	Sun May 29 23:19:00 2022 +0200
@@ -1,4 +1,3 @@
-
 Isabelle NEWS -- history of user-relevant changes
 =================================================