NEWS

 
 * Old-style {* verbatim *} tokens are explicitly marked as legacy
 feature and will be removed soon. Use \<open>cartouche\<close> syntax instead, e.g.
 via "isabelle update_cartouches -t" (available since Isabelle2015).
 
-* Infix operators that begin or end with a "*" can now be paranthesized
-without additional spaces, eg "(*)" instead of "( * )". Minor
+* Infix operators that begin or end with a "*" are now parenthesized
+without additional spaces, e.g. "(*)" instead of "( * )". Minor
 INCOMPATIBILITY.
 
 * Mixfix annotations may use cartouches instead of old-style double
 quotes, e.g. (infixl \<open>+\<close> 60). The command-line tool "isabelle update -u
 mixfix_cartouches" allows to update existing theory sources

 patterns. It uses on the same algorithm as HOL-Library.Code_Lazy, which
 assumes sequential left-to-right pattern matching. The generated
 equation no longer tuples the arguments on the right-hand side.
 INCOMPATIBILITY.
 
-* Theory HOL-Library.Multiset: the <Union># operator now has the same
+* Theory HOL-Library.Multiset: the \<Union># operator now has the same
 precedence as any other prefix function symbol.
 
 * Theory HOL-Library.Cardinal_Notations has been discontinued in favor
 of the bundle cardinal_syntax (available in theory Main). Minor
 INCOMPATIBILITY.