Thu, 10 Nov 2011 23:30:50 +0100 | wenzelm | more efficient prepare_sorts -- bypass encoded positions; | changeset | files |
Thu, 10 Nov 2011 22:54:15 +0100 | wenzelm | suppress irrelevant positions; | changeset | files |
Thu, 10 Nov 2011 22:39:32 +0100 | wenzelm | more generous margin; | changeset | files |