| Wed, 10 Jul 2013 16:25:26 +0200 | wenzelm | more robust identifier syntax: sub/superscript counts as modifier of LETDIG part instead of LETTER, both isub/isup and sub/sup are allowed; | changeset | files |
| Fri, 12 Jul 2013 14:18:07 +0200 | smolkas | added |>! and #>! for convenient printing of timing information | changeset | files |
| Fri, 12 Jul 2013 14:18:07 +0200 | smolkas | preplay failures might be resolved later, so proceed as usual | changeset | files |
| Fri, 12 Jul 2013 14:18:06 +0200 | smolkas | more reasonable preplay_interface semantics | changeset | files |
| Fri, 12 Jul 2013 14:18:06 +0200 | smolkas | tuned | changeset | files |
| Fri, 12 Jul 2013 14:18:06 +0200 | smolkas | minimize dependencies (used facts) of Isar proof steps; remove unreferenced steps | changeset | files |
| Fri, 12 Jul 2013 13:12:21 +0200 | wenzelm | merged | changeset | files |