| Wed, 28 Nov 2012 12:21:42 +0100 | smolkas | support assumptions as facts for preplaying | changeset | files |
| Wed, 28 Nov 2012 12:20:06 +0100 | smolkas | some minor improvements in shrink_proof | changeset | files |
| Wed, 28 Nov 2012 17:18:53 +0100 | wenzelm | some support for ML runtime statistics; | changeset | files |
| Wed, 28 Nov 2012 16:09:05 +0100 | wenzelm | prefer tight Markup.print_int/parse_int for property values; | changeset | files |