| 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 |
| Fri, 30 Nov 2018 15:02:31 +0100 | wenzelm | more Isabelle fonts; | file | diff | annotate |
| Fri, 30 Nov 2018 14:46:00 +0100 | wenzelm | use Isabelle fonts for all GUI look-and-feels; | file | diff | annotate |
| Fri, 30 Nov 2018 14:21:28 +0100 | wenzelm | tuned; | file | diff | annotate |