--- 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.