| 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 21:04:27 +0100 | wenzelm | clarified signature --- fewer warnings; | file | diff | annotate |
| Wed, 03 Mar 2021 22:28:03 +0100 | wenzelm | more robust error; | file | diff | annotate |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Sat, 27 Feb 2021 22:17:56 +0100 | wenzelm | more Isabelle/ML/Scala operations; | file | diff | annotate |
| Sat, 27 Feb 2021 21:36:58 +0100 | wenzelm | more Isabelle/ML/Scala operations; | file | diff | annotate |
| Sat, 27 Feb 2021 21:01:07 +0100 | wenzelm | more Isabelle/ML/Scala operations; | file | diff | annotate |