| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | changeset | files |
| Mon, 01 Mar 2021 20:12:09 +0100 | wenzelm | tuned --- fewer warnings; | changeset | files |
| Mon, 01 Mar 2021 20:04:33 +0100 | wenzelm | tuned --- fewer warnings; | changeset | files |
| Mon, 01 Mar 2021 19:41:52 +0100 | wenzelm | tuned --- fewer warnings; | changeset | files |
| Mon, 01 Mar 2021 18:31:11 +0100 | wenzelm | clarified signature, according to Isabelle/Scala; | changeset | files |
| Mon, 01 Mar 2021 18:24:50 +0100 | wenzelm | download more directly, via means of JVM; | changeset | files |
| Mon, 01 Mar 2021 18:24:27 +0100 | wenzelm | download on separate thread; | changeset | files |