| Fri, 21 Feb 2014 15:48:04 +0100 | wenzelm | tuned signature -- avoid redundancy and confusion of flags; | changeset | files |
| Fri, 21 Feb 2014 15:22:06 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 21 Feb 2014 15:12:50 +0100 | wenzelm | more general / abstract Command.Markups, with separate index for status elements; | changeset | files |
| Fri, 21 Feb 2014 13:36:40 +0100 | wenzelm | tuned signature -- avoid obscure default arguments; | changeset | files |