| Wed, 31 Jul 2013 16:50:41 +0200 | traytel | more robust tactic | changeset | files |
| Wed, 31 Jul 2013 15:24:07 +0200 | wenzelm | merged | changeset | files |
| Wed, 31 Jul 2013 13:00:42 +0200 | wenzelm | clarified priority of "skipped" proofs, which might take long but do not produce relevant information (potential conflict of quick interactive feedback vs. performance in batch mode); | changeset | files |