| changeset 71430 | 7736b754b37f |
| parent 71429 | 182956c8e020 |
| child 71432 | e06ece7a408f |
--- 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 ***