| 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 |
| Wed, 03 Apr 2013 16:45:14 +0200 | wenzelm | tuned -- Drule.comp_no_flatten includes Drule.incr_indexes already (NB: result should be deterministic by construction); | changeset | files |
| Wed, 03 Apr 2013 13:58:00 +0200 | wenzelm | tuned output -- less bullets; | changeset | files |
| Wed, 03 Apr 2013 22:26:04 +0200 | haftmann | default implementation of multisets by list with reasonable coverage of operations on multisets | changeset | files |