| Thu, 09 Jan 2020 16:01:31 +0100 | wenzelm | proper name; | file | diff | annotate |
| Thu, 09 Jan 2020 15:45:31 +0100 | wenzelm | more Isabelle fonts, notably for File Browser title in GTK L&F; | file | diff | annotate |
| Thu, 09 Jan 2020 13:39:33 +0100 | wenzelm | tuned -- more direct java.util.Map.of; | file | diff | annotate |
| Sat, 01 Dec 2018 16:57:46 +0100 | wenzelm | more Isabelle fonts: CheckBoxMenuItem.font notably for Windows L&F; | file | diff | annotate |