Mon, 03 Dec 2012 14:44:00 +0100 | wenzelm | recovered error to finish proof (e.g. bad obtain export) from 223f18cfbb32; | changeset | files |
Sun, 02 Dec 2012 22:20:12 +0100 | wenzelm | semi-automated Cygwin setup; | changeset | files |
Sun, 02 Dec 2012 17:22:19 +0100 | wenzelm | misc tuning; | changeset | files |