--- a/NEWS Mon Aug 21 20:49:15 2017 +0200
+++ b/NEWS Tue Aug 22 08:55:07 2017 +0200
@@ -240,8 +240,8 @@
INCOMPATIBILITY.
-* Theory "HOL-Library.Pattern_Aliases" provides input syntax for pattern
-aliases as known from Haskell, Scala and ML.
+* Theory "HOL-Library.Pattern_Aliases" provides input and output syntax
+for pattern aliases as known from Haskell, Scala and ML.
* Session HOL-Analysis: more material involving arcs, paths, covering
spaces, innessential maps, retracts, material on infinite products.