isabelle: Changelog

wenzelm [Fri, 12 Jul 2013 18:16:50 +0200] rev 52625

tuned;

wenzelm [Fri, 12 Jul 2013 17:43:18 +0200] rev 52624

tuned proofs;

wenzelm [Fri, 12 Jul 2013 16:19:43 +0200] rev 52623

updated keywords;

wenzelm [Fri, 12 Jul 2013 16:19:05 +0200] rev 52622

localized and modernized adhoc-overloading (patch by Christian Sternagel);

wenzelm [Fri, 12 Jul 2013 15:51:25 +0200] rev 52621

merged

wenzelm [Fri, 12 Jul 2013 15:39:46 +0200] rev 52620

tuned proof;

wenzelm [Fri, 12 Jul 2013 15:37:48 +0200] rev 52619

reraise interrupts outside command regular transactions -- relevant for memo_stable;

wenzelm [Fri, 12 Jul 2013 14:54:17 +0200] rev 52618

added "isabelle update_sub_sup" tool;

wenzelm [Fri, 12 Jul 2013 14:28:19 +0200] rev 52617

allow spaces in file names; tuned;

wenzelm [Wed, 10 Jul 2013 16:25:26 +0200] rev 52616

more robust identifier syntax: sub/superscript counts as modifier of LETDIG part instead of LETTER, both isub/isup and sub/sup are allowed;

isabelle