| Wed, 15 Dec 2021 23:18:41 +0100 | wenzelm | support for JSON:API; | file | diff | annotate |
| Wed, 15 Dec 2021 19:41:30 +0100 | wenzelm | support for Flarum server; | file | diff | annotate |
| Thu, 07 Oct 2021 13:12:08 +0200 | wenzelm | build minisat, using recent fork from original sources; | file | diff | annotate |
| 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 |