| changeset 71433 | 49fb95d04d43 |
| parent 71432 | e06ece7a408f |
| child 71434 | 6c52b1d71f8b |
--- 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.