| Mon, 03 Dec 2012 15:23:36 +0100 | wenzelm | tuned; | changeset | files |
| 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 |