Sat, 17 Jul 2021 13:42:21 +0200 | wenzelm | clarified build_props: empty module means no build; | 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 16:35:45 +0200 | wenzelm | build.props for isabelle.jar, including isabelle.jedit; | file | diff | annotate |