HomeIsabelle/Phabricator
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.

Written by makarius on Jan 9 2021, 1:20 AM.
User
Projects
None
Subscribers
None

Event Timeline