Thu, 01 Apr 2010 22:34:46 +0100 | Anselm R Garbe | pretty printing bugs a bit | changeset | files |
Thu, 01 Apr 2010 19:39:24 +0100 | Anselm R Garbe | selmon optimisation is needed | changeset | files |
Thu, 01 Apr 2010 00:14:15 +0100 | Anselm R Garbe | more debug output, experimental focus optimisation | changeset | files |