| Sat, 20 Jun 2020 15:09:20 +0200 | wenzelm | clarified signature; | changeset | files |
| 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 |