| Fri, 28 Sep 2018 22:33:20 +0200 | wenzelm | more accurate syntax: e.g. avoid brackets as prefix notation; | changeset | files |
| Fri, 28 Sep 2018 21:16:24 +0200 | wenzelm | more approximative prefix syntax, including binder; | changeset | files |
| Fri, 28 Sep 2018 19:30:07 +0200 | wenzelm | proper syntax for locale vs. class parameters; | changeset | files |