| 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 |
| Wed, 28 Nov 2012 16:07:17 +0100 | wenzelm | clarified new identifier syntax: exclude \<^isup>, include subscripted prime (to allow imitating full identifier here); | changeset | files |
| Wed, 28 Nov 2012 15:59:18 +0100 | wenzelm | eliminated slightly odd identifiers; | changeset | files |
| Wed, 28 Nov 2012 15:38:12 +0100 | wenzelm | tuned syntax, potentially more robust; | changeset | files |
| Wed, 28 Nov 2012 14:55:46 +0100 | wenzelm | smarter list layout; | changeset | files |