| Fri, 24 Jan 2025 20:05:01 +0100 | wenzelm | discontinue old Java 17 LTS; | file | diff | annotate |
| Fri, 24 Jan 2025 19:54:43 +0100 | wenzelm | update versions for release -- one behind current jedit-5.7.0; | file | diff | annotate |
| Tue, 29 Aug 2023 13:05:32 +0200 | wenzelm | discontinue old Java 11 LTS; | file | diff | annotate |
| Fri, 16 Jul 2021 12:34:47 +0200 | wenzelm | clarified names; | file | diff | annotate |
| Thu, 15 Jul 2021 18:56:15 +0200 | wenzelm | avoid non-standard encoding; | file | diff | annotate |
| Thu, 15 Jul 2021 16:35:45 +0200 | wenzelm | build.props for isabelle.jar, including isabelle.jedit; | file | diff | annotate | base |