Sun, 22 Aug 2010 19:55:41 +0200 | wenzelm | proper range for hyperlinks and tooltips, using original markup information; | changeset | files |
Sun, 22 Aug 2010 19:53:20 +0200 | wenzelm | tuned signature; | changeset | files |
Sun, 22 Aug 2010 19:33:01 +0200 | wenzelm | misc tuning and simplification; | changeset | files |