# HG changeset patch
# User wenzelm
# Date 1581370349 -3600
# Node ID 7736b754b37f4786e3fac8f4066c930e470c9498
# Parent  182956c8e02086cddc85c60c594b1a864a4e15aa
NEWS;

diff -r 182956c8e020 -r 7736b754b37f 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 ***