| Mon, 12 Apr 2021 18:10:13 +0200 | wenzelm | clarified signature for Scala functions; | file | diff | annotate |
| Wed, 31 Mar 2021 22:58:17 +0200 | wenzelm | further clarification of Isabelle distribution identification -- avoid odd patching of sources; | file | diff | annotate |
| Sun, 14 Mar 2021 15:28:44 +0100 | wenzelm | support for SystemOnTPTP.run_system, with strict error following scripts/remote_atp; | file | diff | annotate |