# HG changeset patch
# User haftmann
# Date 1574432768 -3600
# Node ID 9e7d40d67258d0da477ae80a2b493ca8acaddc6a
# Parent  a7d1fb0c9e162101b999144732904c605be5876c
tuned whitespace

diff -r a7d1fb0c9e16 -r 9e7d40d67258 NEWS
--- a/NEWS	Fri Nov 22 09:25:01 2019 +0000
+++ b/NEWS	Fri Nov 22 15:26:08 2019 +0100
@@ -86,10 +86,10 @@
 * Session HOL-Analysis: proof method "metric" implements a decision
 procedure for simple linear statements in metric spaces.
 
-
 * Word: Bitwise NOT-operator has proper prefix syntax.  Minor
 INCOMPATIBILITY.
 
+
 *** ML ***
 
 * Theory construction may be forked internally, the operation