| 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 |