| Wed, 17 Jun 2020 20:42:52 +0200 | wenzelm | enable pide_session by default; | changeset | files |
| Wed, 17 Jun 2020 19:46:50 +0200 | wenzelm | avoid resource problems of JVM by too many parallel XZ compression tasks; | changeset | files |
| Tue, 16 Jun 2020 08:41:39 +0000 | haftmann | interpretations for boolean operators | changeset | files |