| Fri, 16 Aug 2013 20:58:15 +0200 | wenzelm | more markup -- avoid old Locale.extern; | changeset | files |
| Fri, 16 Aug 2013 19:03:31 +0200 | blanchet | renamed function | changeset | files |
| Fri, 16 Aug 2013 18:56:33 +0200 | blanchet | eliminate quasi-duplicate function | changeset | files |
| Fri, 16 Aug 2013 18:45:57 +0200 | blanchet | generalized "mk_permute" | changeset | files |