| Sat, 20 Jun 2020 14:36:27 +0200 | wenzelm | more caching, notably for build/pide_session; | changeset | files |
| Sat, 20 Jun 2020 11:01:57 +0200 | wenzelm | removed pointless pide_exports: unused during "build_session" process (reverting 6a64205b491a); | changeset | files |
| Fri, 19 Jun 2020 20:15:00 +0200 | wenzelm | tuned --- avoid error in IntelliJ IDEA; | changeset | files |
| Sat, 20 Jun 2020 05:56:28 +0000 | haftmann | simp rules for conversions | changeset | files |
| 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 |
| Fri, 19 Jun 2020 18:29:37 +0200 | wenzelm | back to pide_session=false for now, requires too many JVM resources (reverting 026de3424c39); | changeset | files |