isabelle: Changelog

wenzelm [Mon, 08 Aug 2011 16:38:59 +0200] rev 44057

modernized strcture Proof_Checker;

wenzelm [Mon, 08 Aug 2011 16:09:34 +0200] rev 44056

less ambitious use of AttributedString, for proper caret painting within \<^sup>\<foobar>;

wenzelm [Mon, 08 Aug 2011 13:48:38 +0200] rev 44055

updated imports;

wenzelm [Mon, 08 Aug 2011 13:40:24 +0200] rev 44054

proper signature;

wenzelm [Mon, 08 Aug 2011 13:39:51 +0200] rev 44053

made SML/NJ happy;

wenzelm [Mon, 08 Aug 2011 13:29:54 +0200] rev 44052

slightly more uniform messages;

wenzelm [Mon, 08 Aug 2011 13:19:19 +0200] rev 44051

avoid pointless completion of illegal control commands;

nipkow [Mon, 08 Aug 2011 08:56:58 +0200] rev 44050

removed old expand_fun_eq

nipkow [Mon, 08 Aug 2011 08:25:28 +0200] rev 44049

fixed index entry

nipkow [Mon, 08 Aug 2011 07:35:42 +0200] rev 44048

removed old recdef and types usage

isabelle