| Thu, 24 Sep 2020 19:04:47 +0200 | wenzelm | proper platform_path for Windows; | changeset | files |
| Thu, 24 Sep 2020 17:23:25 +0200 | wenzelm | evaluate PolyML via running Isabelle/ML; | changeset | files |
| Thu, 24 Sep 2020 16:43:43 +0200 | wenzelm | output via file instead of stdout; | changeset | files |
| Thu, 24 Sep 2020 15:27:24 +0200 | wenzelm | proper context; | changeset | files |
| Thu, 24 Sep 2020 15:26:26 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 24 Sep 2020 15:16:45 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 24 Sep 2020 00:29:51 +0200 | nipkow | tuned | changeset | files |