| Thu, 10 Jan 2013 23:02:58 +0100 | wenzelm | merged | changeset | files |
| Thu, 10 Jan 2013 21:20:14 +0100 | wenzelm | manage cygwin as bundled quasi-component; | changeset | files |
| Thu, 10 Jan 2013 21:14:01 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 10 Jan 2013 20:41:52 +0100 | wenzelm | outermost directory structure for Windows/Cygwin; | changeset | files |
| Thu, 10 Jan 2013 20:23:16 +0100 | wenzelm | updated for release; | changeset | files |
| Thu, 10 Jan 2013 19:53:38 +0100 | wenzelm | more general prover termination dialog, which might indicate undetected failure or just ML "exit 0"; | changeset | files |