| 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 |