NEWS
changeset 69580 6f755e3cd95d
parent 69569 2d88bf80c84f
child 69585 0484086194ce
--- a/NEWS	Thu Jan 03 16:13:57 2019 +0100
+++ b/NEWS	Thu Jan 03 16:42:15 2019 +0100
@@ -31,6 +31,9 @@
 * Infix operators that begin or end with a "*" can now be paranthesized
 without additional spaces, eg "(*)" instead of "( * )".
 
+* Mixfix annotations may use cartouches instead of old-style double
+quotes, e.g. (infixl \<open>+\<close> 60).
+
 * ML setup commands (e.g. 'setup', 'method_setup', 'parse_translation')
 need to provide a closed expression -- without trailing semicolon. Minor
 INCOMPATIBILITY.