| Wed, 28 Nov 2018 14:05:03 +0100 | wenzelm | clarified symbol groups; | changeset | files |
| 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 |
| Wed, 28 Nov 2018 11:43:06 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 28 Nov 2018 11:41:49 +0100 | wenzelm | proper file names; | changeset | files |
| Wed, 28 Nov 2018 11:28:02 +0100 | wenzelm | clarified modules; | changeset | files |