| Fri, 26 Jun 2020 17:34:34 +0200 | wenzelm | more CONTRIBUTORS; | changeset | files |
| Thu, 25 Jun 2020 15:45:15 +0200 | wenzelm | more uniform URL (see 60b5a4731695); | changeset | files |
| Wed, 24 Jun 2020 20:59:50 +0200 | wenzelm | clarified use of memory: prefer share tree structures over fresh strings; | changeset | files |
| Wed, 24 Jun 2020 11:16:57 +0200 | wenzelm | more Java heap space (see 2d658beb815b); | changeset | files |
| Sun, 21 Jun 2020 11:12:19 +0200 | wenzelm | clarified NEWS; | changeset | files |
| Sat, 20 Jun 2020 22:35:24 +0200 | wenzelm | enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39); | changeset | files |
| Sat, 20 Jun 2020 21:44:43 +0200 | wenzelm | discontinued old AFP test: ancient hardware with insufficient resources; | changeset | files |