Fri, 25 Sep 2020 05:26:09 +0000 | haftmann | factored out typedef material | changeset | files |
Thu, 24 Sep 2020 20:29:07 +0200 | wenzelm | tuned; | changeset | files |
Thu, 24 Sep 2020 19:54:12 +0200 | wenzelm | tuned; | changeset | files |
Thu, 24 Sep 2020 19:33:33 +0200 | wenzelm | tuned; | changeset | files |
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 |