Sat, 20 Jun 2020 05:56:28 +0000 | haftmann | more class operations for the sake of efficient generated code | changeset | files |
Fri, 19 Jun 2020 18:44:36 +0200 | wenzelm | merged | changeset | files |
Fri, 19 Jun 2020 18:44:31 +0200 | wenzelm | back to parallel compression: full AFP build does require 16GB Java heap (reverting 107472ccc60d); | changeset | files |