| Tue, 21 Sep 2021 19:42:30 +0200 | wenzelm | clarified partial application: immediate check of object-logic, and avoidance of context within closure; | changeset | files |
| Tue, 21 Sep 2021 16:23:33 +0200 | wenzelm | merged | changeset | files |
| Tue, 21 Sep 2021 13:14:18 +0200 | wenzelm | clarified antiquotations; | changeset | files |