Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespace
authorhaftmann
Fri, 22 Nov 2019 15:26:08 +0100
changeset 71150 9e7d40d67258
parent 71149 a7d1fb0c9e16
child 71151 69a22ccd1817
tuned whitespace
NEWS file | annotate | diff | comparison | revisions 
--- 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
isabelle