| Wed, 31 Jul 2013 18:08:12 +0200 | nipkow | added Getting Started text | changeset | files |
| 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 |
| Wed, 31 Jul 2013 12:46:53 +0200 | wenzelm | simplified / clarified execution priority: auto prints << 0, proofs < 0, eval = 0, print_state = 1; | changeset | files |
| Wed, 31 Jul 2013 12:31:10 +0200 | wenzelm | paint unassigned/unchanged nodes as unprocessed -- relevant for editor_continuous_checking = false; | changeset | files |