| Wed, 03 Apr 2013 22:30:25 +0200 | wenzelm | tuned; | changeset | files |
| 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 |
| Wed, 03 Apr 2013 20:56:08 +0200 | wenzelm | updated comment to 46b90bbc370d; | changeset | files |
| Wed, 03 Apr 2013 20:38:50 +0200 | wenzelm | recovered proper transaction position for Goal.fork error reporting (lost in 8e9746e584c9); | changeset | files |