# HG changeset patch
# User wenzelm
# Date 1581371263 -3600
# Node ID 49fb95d04d4340db48ab81bb7942656724696041
# Parent  e06ece7a408f17f3240e031c052ef857ebaf34f4
NEWS;

diff -r e06ece7a408f -r 49fb95d04d43 NEWS
--- a/NEWS	Mon Feb 10 22:40:00 2020 +0100
+++ b/NEWS	Mon Feb 10 22:47:43 2020 +0100
@@ -112,6 +112,8 @@
 
 *** System ***
 
+* Standard rendering for more Isabelle symbols: \<llangle> \<rrangle> \<bbar> \<sqdot>
+
 * The command-line tool "isabelle scala_project" creates a Gradle
 project configuration for Isabelle/Scala/jEdit, to support Scala IDEs
 such as IntelliJ IDEA.