| Wed, 20 Nov 2013 18:08:02 +0100 | blanchet | support Negated_Conjecture as a TPTP role as well (e.g. for SMT proofs) | changeset | files |
| Wed, 20 Nov 2013 18:08:01 +0100 | blanchet | tuning | changeset | files |
| Wed, 20 Nov 2013 17:00:49 +0100 | wenzelm | NEWS; | changeset | files |
| Wed, 20 Nov 2013 16:43:09 +0100 | wenzelm | merged | changeset | files |
| Wed, 20 Nov 2013 16:15:54 +0100 | wenzelm | restrict node_required status and Theories panel to actual theories; | changeset | files |
| Wed, 20 Nov 2013 15:53:59 +0100 | wenzelm | ranges of thy_load commands count as visible within perspective; | changeset | files |
| Wed, 20 Nov 2013 15:00:25 +0100 | wenzelm | tuned; | changeset | files |