| Mon, 02 Nov 2009 20:38:46 +0100 | wenzelm | modernized structure Primitive_Defs; | changeset | files |
| Mon, 02 Nov 2009 20:34:59 +0100 | wenzelm | modernized structure Simple_Syntax; | changeset | files |
| Mon, 02 Nov 2009 20:30:40 +0100 | wenzelm | modernized structure Context_Position; | changeset | files |
| 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 |
| Mon, 02 Nov 2009 17:29:48 +0100 | wenzelm | back to warning -- Proof General tends to "popup" tracing output; | changeset | files |