| Wed, 16 Oct 2019 15:31:01 +0200 | wenzelm | tuned -- more stable type inference; | changeset | files |
| Wed, 16 Oct 2019 12:42:09 +0200 | wenzelm | updated to jdk-11.0.4+11; | changeset | files |
| Wed, 16 Oct 2019 12:23:09 +0200 | wenzelm | updated to scala-2.12.10; | changeset | files |
| Tue, 15 Oct 2019 21:05:35 +0200 | wenzelm | more support for proof terms; | changeset | files |
| Tue, 15 Oct 2019 16:41:47 +0200 | wenzelm | more support for proof terms; | changeset | files |
| Tue, 15 Oct 2019 16:04:11 +0200 | wenzelm | support for proof terms; | changeset | files |
| Tue, 15 Oct 2019 14:14:10 +0200 | wenzelm | clarified proof export; | changeset | files |