Tue, 19 Feb 2013 17:55:26 +0100 | wenzelm | improved scheduling of forked proofs, based on elapsed time estimate (from last run via session log file); | changeset | files |
Tue, 19 Feb 2013 17:02:52 +0100 | wenzelm | read logs from failed sessions as well; | changeset | files |
Tue, 19 Feb 2013 16:49:40 +0100 | wenzelm | recover timing information from old log files; | changeset | files |