| Sat, 02 Oct 2021 22:11:34 +0200 | wenzelm | provide Isabelle/jEdit plugins as services, and thus allow user components do the same; | file | diff | annotate |
| Thu, 12 Aug 2021 14:18:46 +0200 | wenzelm | provide bash_process server for Isabelle/ML and other external programs; | file | diff | annotate |
| Sat, 24 Jul 2021 13:09:48 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 17 Jul 2021 13:42:21 +0200 | wenzelm | clarified build_props: empty module means no build; | file | diff | annotate |
| Thu, 15 Jul 2021 16:35:45 +0200 | wenzelm | build.props for isabelle.jar, including isabelle.jedit; | file | diff | annotate |