etc/build.props
Thu, 07 Oct 2021 13:12:08 +0200 wenzelm build minisat, using recent fork from original sources;
Sat, 02 Oct 2021 22:11:34 +0200 wenzelm provide Isabelle/jEdit plugins as services, and thus allow user components do the same; Isabelle2021-1-RC0
Thu, 12 Aug 2021 14:18:46 +0200 wenzelm provide bash_process server for Isabelle/ML and other external programs;
Sat, 24 Jul 2021 13:09:48 +0200 wenzelm clarified signature;
Sat, 17 Jul 2021 13:42:21 +0200 wenzelm clarified build_props: empty module means no build;
Thu, 15 Jul 2021 16:35:45 +0200 wenzelm build.props for isabelle.jar, including isabelle.jedit;
less more (0) tip