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 |