| Mon, 22 Jul 2013 21:12:15 +0200 | traytel | transfer rule for map (not yet registered as a transfer rule) | changeset | files |
| Sun, 21 Jul 2013 14:02:33 +0200 | nipkow | tuned exercises | changeset | files |
| Sat, 20 Jul 2013 16:45:00 +0200 | wenzelm | clarified option name, with improved sort order wrt. "time" options; | changeset | files |