isabelle: Changelog

wenzelm [Mon, 23 Jul 2007 19:45:44 +0200] rev 23937

eliminated transform_failure (to avoid critical section for main transactions);

wenzelm [Mon, 23 Jul 2007 16:45:04 +0200] rev 23936

setmp_noncritical (assumes outermost control);

wenzelm [Mon, 23 Jul 2007 16:45:03 +0200] rev 23935

PrintMode.with_modes;

wenzelm [Mon, 23 Jul 2007 16:45:02 +0200] rev 23934

added with_modes, with_default;

wenzelm [Mon, 23 Jul 2007 16:45:01 +0200] rev 23933

marked some CRITICAL sections;

wenzelm [Mon, 23 Jul 2007 16:45:00 +0200] rev 23932

added setmp_noncritical; setmp: CRITICAL;

wenzelm [Mon, 23 Jul 2007 16:44:59 +0200] rev 23931

PrintMode.with_default;

haftmann [Mon, 23 Jul 2007 15:16:35 +0200] rev 23930

added nbe implementation heading for dictionaries

berghofe [Mon, 23 Jul 2007 15:04:56 +0200] rev 23929

Tuned.

berghofe [Mon, 23 Jul 2007 14:39:21 +0200] rev 23928

Protected underscore in inductive_set.

isabelle