tuned whitespace
authorhaftmann
Fri, 22 Nov 2019 15:26:08 +0100
changeset 71348 9e7d40d67258
parent 71347 a7d1fb0c9e16
child 71349 69a22ccd1817
tuned whitespace
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