| Wed, 28 Nov 2012 12:23:44 +0100 | smolkas | simplified isar_qualifiers and qs merging | changeset | files |
| Wed, 28 Nov 2012 12:22:17 +0100 | smolkas | put shrink in own structure | changeset | files |
| Wed, 28 Nov 2012 12:22:05 +0100 | smolkas | put annotate in own structure | changeset | files |
| 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 |