Wed, 03 Apr 2013 22:05:24 +0200 | wenzelm | recover implicit thread position for status messages (cf. eca8acb42e4a); | changeset | files |
Wed, 03 Apr 2013 21:48:43 +0200 | wenzelm | additional timing status for implicitly forked terminal proofs -- proper accounting for interactive Timing dockable etc.; | changeset | files |
Wed, 03 Apr 2013 21:30:32 +0200 | wenzelm | more explicit Goal.fork_params -- avoid implicit arguments via thread data; | changeset | files |