| Tue, 29 Aug 2023 13:05:32 +0200 |
wenzelm |
discontinue old Java 11 LTS;
|
file |
diff |
annotate
|
| Fri, 28 Oct 2022 15:59:06 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 28 Oct 2022 13:15:11 +0200 |
wenzelm |
reactivate emerging tool after release (see 322f2e2799a7);
|
file |
diff |
annotate
|
| Sat, 17 Sep 2022 12:12:22 +0200 |
wenzelm |
omit menu for unfinished tool;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2022 12:50:19 +0200 |
wenzelm |
basic setup for document build panel;
|
file |
diff |
annotate
|
| Sun, 03 Oct 2021 21:29:34 +0200 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| Sat, 02 Oct 2021 20:38:50 +0200 |
wenzelm |
update dependency;
|
file |
diff |
annotate
|
| Fri, 23 Jul 2021 10:32:34 +0200 |
wenzelm |
clarified names (again), e.g. relevant for "Plugin Options";
|
file |
diff |
annotate
|
| Fri, 16 Jul 2021 12:34:47 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 20:15:03 +0200 |
wenzelm |
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
|
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
|