| Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | replaced operation with weak abstraction by input abbreviation | changeset | files |
| Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | avoid compound operation | changeset | files |
| Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | formal relationships between operations | changeset | files |
| Thu, 18 Jun 2020 09:07:29 +0000 | haftmann | eliminated warnings | changeset | files |
| Thu, 18 Jun 2020 09:07:28 +0000 | haftmann | replaced mere alias by input abbreviation | changeset | files |
| 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 |