| Thu, 15 Jul 2021 16:35:45 +0200 | wenzelm | build.props for isabelle.jar, including isabelle.jedit; | file | diff | annotate |
| Thu, 01 Jul 2021 14:06:20 +0200 | wenzelm | clarified directories; | file | diff | annotate |
| Wed, 30 Jun 2021 21:30:37 +0200 | wenzelm | clarified Isabelle/Java/Scala project setup; | file | diff | annotate |
| Tue, 11 May 2021 20:19:07 +0200 | wenzelm | guess package more directly; | file | diff | annotate |
| Wed, 31 Mar 2021 22:10:56 +0200 | wenzelm | tuned signature -- more explicit types; | file | diff | annotate |
| Fri, 12 Mar 2021 23:30:35 +0100 | wenzelm | support for SystemOnTPTP in Isabelle/ML and Isabelle/Scala (without perl); | file | diff | annotate |
| Thu, 04 Mar 2021 15:41:46 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |