| Wed, 28 Nov 2018 16:27:21 +0100 | wenzelm | clarified signature: fonts are not dependent on GUI; | file | diff | annotate |
| Wed, 28 Nov 2018 14:00:22 +0100 | wenzelm | more explicit Isabelle_Fonts.Entry; | file | diff | annotate |
| Wed, 28 Nov 2018 12:05:50 +0100 | wenzelm | prefer Isabelle_Fonts.sans (not mono) as derived GUI font; | file | diff | annotate |