| Tue, 09 Apr 2019 11:24:47 +0200 | wenzelm | proper treatment of isabelle_fonts_hinted in etc/preferences (i.e. a change of the default option); | changeset | files |
| Tue, 09 Apr 2019 10:56:25 +0200 | wenzelm | back to scala-2.12.7 (due to reports about problems with new Mac hardware / OS installations by Jasmin Blanchette and Dmitriy Traytel); | changeset | files |
| Tue, 09 Apr 2019 10:51:35 +0200 | wenzelm | tuned -- prefer Isar command 'compile_generated_files'; | changeset | files |