changeset 73112 | efc58b56a6c7 |
parent 73108 | 981a383610df |
child 73116 | b84887a67cc6 |
--- a/NEWS Fri Jan 08 23:59:28 2021 +0100 +++ b/NEWS Sat Jan 09 00:11:52 2021 +0100 @@ -27,6 +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 markup for theory header imports: hyperlinks for theory files work without formal checking of content.