--- a/NEWS Sat Jan 09 18:56:53 2021 +0100
+++ b/NEWS Sat Jan 09 19:49:22 2021 +0100
@@ -27,8 +27,9 @@
*** Isabelle/jEdit Prover IDE ***
-* Improved GUI look-and-feel: the portable and scalable FlatLightLaf is
-used by default on all platforms (appearance similar to IntelliJ IDEA).
+* Improved GUI look-and-feel: the portable and scalable "FlatLaf Light"
+is used by default on all platforms (appearance similar to IntelliJ
+IDEA).
* Improved markup for theory header imports: hyperlinks for theory files
work without formal checking of content.
@@ -344,6 +345,9 @@
file extensions. Minor INCOMPATIBILITY, e.g. see theory
HOL-SPARK.SPARK_Setup to emulate the old behaviour.
+* JVM system property "isabelle.laf" has been discontinued; the default
+Swing look-and-feel is ""FlatLaf Light".
+
* Isabelle/Phabricator supports Ubuntu 20.04 LTS.
* Isabelle/Phabricator setup has been updated to follow ongoing
@@ -357,6 +361,8 @@
+
+
New in Isabelle2020 (April 2020)
--------------------------------