NEWS;

--- a/NEWS	Mon Feb 10 22:24:01 2020 +0100
+++ b/NEWS	Mon Feb 10 22:32:29 2020 +0100
@@ -56,6 +56,8 @@
 (likewise for "isabelle vscode_server -S"). Existing option "-R" is both
 sufficient and more convenient to start editing a particular session.
 
+* Support more brackets: \<llangle> \<rrangle> (intended for implicit argument syntax).
+
 
 *** HOL ***