| Sat, 01 Dec 2018 16:57:46 +0100 | wenzelm | more Isabelle fonts: CheckBoxMenuItem.font notably for Windows L&F; | changeset | files |
| Sat, 01 Dec 2018 16:11:59 +0100 | wenzelm | clarified modules; | changeset | files |
| Sat, 01 Dec 2018 15:55:04 +0100 | wenzelm | proper menu accelerator font for Java 11 (no update of jedit-build component yet); | changeset | files |
| 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 |