| 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 |
| Thu, 10 Jan 2013 19:07:44 +0100 | wenzelm | clarified cygwin/isabelle scripts; | changeset | files |
| Thu, 10 Jan 2013 17:53:15 +0100 | wenzelm | more systematic makedist_cygwin; | changeset | files |