Thu, 01 Jun 2017 23:12:48 +0200 | wenzelm | generate CSS for Isabelle fonts; | changeset | files |
Thu, 01 Jun 2017 21:43:36 +0200 | wenzelm | tuned signature; | changeset | files |
Thu, 01 Jun 2017 21:24:33 +0200 | wenzelm | tuned signature; | changeset | files |