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 |