| Sun, 22 Aug 2010 20:25:15 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 22 Aug 2010 20:11:17 +0200 | wenzelm | simplified Command.status again, reverting most of e5eed57913d0 (note that more complex information can be represented with full markup reports); | changeset | files |
| Sun, 22 Aug 2010 19:55:41 +0200 | wenzelm | proper range for hyperlinks and tooltips, using original markup information; | changeset | files |