| Wed, 28 Nov 2018 14:00:22 +0100 | wenzelm | more explicit Isabelle_Fonts.Entry; | changeset | files |
| Wed, 28 Nov 2018 13:59:29 +0100 | wenzelm | prefer Isabelle_Fonts.sans for GUI; | changeset | files |
| Wed, 28 Nov 2018 12:05:50 +0100 | wenzelm | prefer Isabelle_Fonts.sans (not mono) as derived GUI font; | changeset | files |