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 |
Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |