| Sun, 28 Mar 2010 15:13:19 +0200 | wenzelm | use regular Attrib.config instead of low-level Config.declare/Attrib.register_config; | changeset | files |
| Sat, 27 Mar 2010 21:46:10 +0100 | wenzelm | merged | changeset | files |
| Sat, 27 Mar 2010 21:34:28 +0100 | boehmes | re-introduce reference to control simplifier tracing (needed for ProofGeneral settings menu) (cf. 12bb31230550) | changeset | files |