isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sat, 13 Aug 2011 20:49:41 +0200 simplified Toplevel.init_theory: discontinued special name argument;

changeset

wenzelm [Sat, 13 Aug 2011 20:49:41 +0200] rev 44187

simplified Toplevel.init_theory: discontinued special name argument;

Sat, 13 Aug 2011 20:41:29 +0200 simplified Toplevel.init_theory: discontinued special master argument;

changeset

wenzelm [Sat, 13 Aug 2011 20:41:29 +0200] rev 44186

simplified Toplevel.init_theory: discontinued special master argument;

Sat, 13 Aug 2011 20:20:36 +0200 provide node header via Scala layer;

changeset

wenzelm [Sat, 13 Aug 2011 20:20:36 +0200] rev 44185

provide node header via Scala layer; clarified node edit Clear: retain header information; run_command: node info via document model, error handling within transaction; node names without ".thy" suffix, to coincide with traditional theory loader treatment;

Sat, 13 Aug 2011 16:07:26 +0200 reduced verbosity;

changeset

wenzelm [Sat, 13 Aug 2011 16:07:26 +0200] rev 44184

reduced verbosity;

Sat, 13 Aug 2011 16:04:28 +0200 tuned signature;

changeset

wenzelm [Sat, 13 Aug 2011 16:04:28 +0200] rev 44183

tuned signature;

Sat, 13 Aug 2011 15:59:26 +0200 clarified node header -- exclude master_dir;

changeset

wenzelm [Sat, 13 Aug 2011 15:59:26 +0200] rev 44182

clarified node header -- exclude master_dir;