Sun, 28 Mar 2010 16:13:29 +0200 | wenzelm | configuration options admit dynamic default values; | changeset | files |
Sun, 28 Mar 2010 16:29:51 +0200 | wenzelm | tuned; | changeset | files |
Sun, 28 Mar 2010 15:38:07 +0200 | wenzelm | do not export Attrib.register_config, to make it harder to use low-level Config.declare after the bootstrap phase; | changeset | files |
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 |