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