| Tue, 06 Mar 2018 22:59:00 +0100 | ballarin | Drop rewrite rule arguments of sublocale and interpretation implementations. | changeset | files |
| Tue, 06 Mar 2018 17:44:19 +0100 | wenzelm | more balanced AFP partitioning; | changeset | files |
| Tue, 06 Mar 2018 17:43:39 +0100 | wenzelm | clarified signature; | changeset | files |