Fri, 30 Nov 2018 14:46:00 +0100 | wenzelm | use Isabelle fonts for all GUI look-and-feels; | changeset | files |
Fri, 30 Nov 2018 14:21:28 +0100 | wenzelm | tuned; | changeset | files |
Fri, 30 Nov 2018 13:20:38 +0100 | wenzelm | use older Mac OS X system, for the sake of portability (amending bf5cbefb5c1f); | changeset | files |
Thu, 29 Nov 2018 15:17:51 +0100 | wenzelm | clarified "hidden" terminology; | changeset | files |
Thu, 29 Nov 2018 15:07:18 +0100 | wenzelm | generate full component; | changeset | files |
Thu, 29 Nov 2018 14:43:11 +0100 | wenzelm | clarified target_dir; | changeset | files |