Fri, 12 Aug 2022 12:50:19 +0200 | wenzelm | basic setup for document build panel; | file | diff | annotate |
Thu, 15 Jul 2021 21:21:16 +0200 | wenzelm | more complete dockables; | 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 |