# HG changeset patch
# User nipkow
# Date 1564410366 -7200
# Node ID 4abd07cd034f41750c269ce3b3c66bd306cd6284
# Parent  2137db107788ef0c7b176771cb477e1b36e6bcf9
News for bind infixl

diff -r 2137db107788 -r 4abd07cd034f NEWS
--- a/NEWS	Mon Jul 29 14:28:30 2019 +0200
+++ b/NEWS	Mon Jul 29 16:26:06 2019 +0200
@@ -23,6 +23,9 @@
 existing collections algebra_simps or field_simps to obtain
 reasonable simplification.  INCOMPATIBILITY.
 
+* Theory HOL-Library.Monad_Syntax: infix operation "bind" (>>=) associates
+to the left now as is customary.
+
 
 New in Isabelle2019 (June 2019)
 -------------------------------
@@ -3187,9 +3190,9 @@
 performance.
 
 * Property values in etc/symbols may contain spaces, if written with the
-replacement character "␣" (Unicode point 0x2324). For example:
-
-    \<star>  code: 0x0022c6  group: operator  font: Deja␣Vu␣Sans␣Mono
+replacement character "?" (Unicode point 0x2324). For example:
+
+    \<star>  code: 0x0022c6  group: operator  font: Deja?Vu?Sans?Mono
 
 * Java runtime environment for x86_64-windows allows to use larger heap
 space.