Improved GUI look-and-feel
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).
This refers to Isabelle/efc58b56a6c7.
- Projects
- None
- Subscribers
- None