| Thu, 29 Nov 2018 15:17:51 +0100 | wenzelm | clarified "hidden" terminology; | file | diff | annotate |
| Wed, 28 Nov 2018 16:27:21 +0100 | wenzelm | clarified signature: fonts are not dependent on GUI; | file | diff | annotate |
| Wed, 28 Nov 2018 15:11:21 +0100 | wenzelm | proper font file name for HTTP (amending dc9a39c3f75d); | file | diff | annotate |
| Wed, 28 Nov 2018 14:51:24 +0100 | wenzelm | clarified order; | file | diff | annotate |
| Wed, 28 Nov 2018 14:00:22 +0100 | wenzelm | more explicit Isabelle_Fonts.Entry; | 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 |