| 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 |
| Wed, 31 Jul 2013 12:14:13 +0200 | wenzelm | allow explicit indication of required node: full eval, no prints; | changeset | files |
| Wed, 31 Jul 2013 10:54:37 +0200 | wenzelm | simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints); | changeset | files |
| Wed, 31 Jul 2013 13:40:57 +0200 | blanchet | more work on (co)datatype docs | changeset | files |
| Wed, 31 Jul 2013 11:28:59 +0200 | blanchet | more (co)datatype documentation | changeset | files |