| Thu, 21 Jan 2021 18:18:19 +0100 | wenzelm | proper hostname; | changeset | files |
| Thu, 21 Jan 2021 18:06:44 +0100 | wenzelm | more official support for macOS 11.1 Big Sur; | changeset | files |
| Wed, 20 Jan 2021 22:20:26 +0100 | wenzelm | more informative error; | changeset | files |
| Wed, 20 Jan 2021 09:46:01 +0100 | nipkow | added lemmas | changeset | files |
| Sun, 17 Jan 2021 10:53:56 +0100 | wenzelm | merged | changeset | files |
| Sun, 17 Jan 2021 00:16:14 +0100 | wenzelm | updated to scala-2.13: its ArraySeq implementation is not usable here (requires scala.relection.ClassTag); | changeset | files |
| Sat, 16 Jan 2021 22:52:43 +0100 | wenzelm | updated to scala-2.13.4; | changeset | files |
| Sat, 16 Jan 2021 19:25:20 +0100 | wenzelm | clarified; | changeset | files |