Tue, 30 Aug 2011 20:10:47 +0200 | bulwahn | strengthening list_size_pointwise (thanks to Rene Thiemann) | changeset | files |
Thu, 01 Sep 2011 14:10:52 +0200 | wenzelm | more flexible sorting; | changeset | files |
Thu, 01 Sep 2011 13:39:40 +0200 | wenzelm | tuned signature; | changeset | files |