Fri, 29 Mar 2013 22:14:27 +0100 | wenzelm | Pretty.item markup for improved readability of lists of items; | changeset | files |
Fri, 29 Mar 2013 22:13:02 +0100 | wenzelm | tuned message; | changeset | files |
Fri, 29 Mar 2013 11:32:07 +0100 | haftmann | convenience check for vain instantiation | changeset | files |