Mon, 02 Nov 2009 19:56:06 +0100 | wenzelm | observe usual naming conventions; | changeset | files |
Mon, 02 Nov 2009 16:44:18 +0100 | krauss | find_theorems: respect conceal flag | changeset | files |
Mon, 02 Nov 2009 17:30:38 +0100 | wenzelm | DEEPEN: all tracing is subject to trace_DEEPEN (NB: Proof General tends to "popup" tracing output); | changeset | files |