isabelle: Changelog

wenzelm [Sun, 28 Mar 2010 16:13:29 +0200] rev 36000

configuration options admit dynamic default values;

wenzelm [Sun, 28 Mar 2010 16:29:51 +0200] rev 35999

tuned;

wenzelm [Sun, 28 Mar 2010 15:38:07 +0200] rev 35998

do not export Attrib.register_config, to make it harder to use low-level Config.declare after the bootstrap phase;

wenzelm [Sun, 28 Mar 2010 15:13:19 +0200] rev 35997

use regular Attrib.config instead of low-level Config.declare/Attrib.register_config;

wenzelm [Sat, 27 Mar 2010 21:46:10 +0100] rev 35996

merged

boehmes [Sat, 27 Mar 2010 21:34:28 +0100] rev 35995

re-introduce reference to control simplifier tracing (needed for ProofGeneral settings menu) (cf. 12bb31230550)

wenzelm [Sat, 27 Mar 2010 21:38:38 +0100] rev 35994

Typedef.info: separate global and local part, only the latter is transformed by morphisms;

nipkow [Sat, 27 Mar 2010 18:43:11 +0100] rev 35993

merged

nipkow [Sat, 27 Mar 2010 18:42:27 +0100] rev 35992

added reference to Trace Simp Depth.

wenzelm [Sat, 27 Mar 2010 18:12:02 +0100] rev 35991

merged

isabelle