| Fri, 30 Nov 2018 23:43:10 +0100 | wenzelm | more general command 'generate_file' for registered file types, notably Haskell; | changeset | files |
| Fri, 30 Nov 2018 23:30:42 +0100 | wenzelm | tuned imports; | changeset | files |
| Fri, 30 Nov 2018 16:09:45 +0100 | wenzelm | more robust: avoid broken tar.gz; | changeset | files |
| Fri, 30 Nov 2018 15:02:31 +0100 | wenzelm | more Isabelle fonts; | changeset | files |
| 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 |