| Mon, 28 Jun 2021 14:11:53 +0200 | wenzelm | clarified modules (again): services require full Isabelle/Scala environment; | file | diff | annotate |
| Mon, 28 Jun 2021 13:45:46 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Fri, 08 Jan 2021 22:30:32 +0100 | wenzelm | avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new view; | file | diff | annotate |
| Tue, 05 Jan 2021 23:02:58 +0100 | wenzelm | clarified application init; | file | diff | annotate |
| Tue, 05 Jan 2021 21:46:35 +0100 | wenzelm | proper dock icon for macOS; | file | diff | annotate |
| Mon, 04 Sep 2017 20:55:06 +0200 | wenzelm | tuned signature -- avoid warning during jEdit startup; | file | diff | annotate |