| 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 |
| Wed, 28 Nov 2018 11:43:06 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 28 Nov 2018 11:28:02 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Sat, 24 Nov 2018 18:56:44 +0100 | wenzelm | use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.; | file | diff | annotate |
| Wed, 03 Oct 2018 12:28:09 +0200 | wenzelm | unused -- avoid illegal access in Java 11; | file | diff | annotate |