| 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 |
| Thu, 27 Sep 2018 07:18:34 +0200 | nipkow | simpler def | changeset | files |
| Wed, 26 Sep 2018 22:38:16 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 26 Sep 2018 22:07:35 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 26 Sep 2018 17:40:45 +0200 | Lars Hupel | provide CakeML component | changeset | files |
| Wed, 26 Sep 2018 17:04:50 +0200 | wenzelm | clarified get_infix: avoid old ASCII input syntax; | changeset | files |
| Wed, 26 Sep 2018 13:36:10 +0200 | Lars Hupel | remove dubious import | changeset | files |