isabelle: Changelog

traytel [Fri, 07 Mar 2014 23:09:10 +0100] rev 56010

removed junk

wenzelm [Sun, 09 Mar 2014 18:43:38 +0100] rev 56009

tuned proofs;

wenzelm [Sun, 09 Mar 2014 17:43:40 +0100] rev 56008

unused;

wenzelm [Sun, 09 Mar 2014 17:40:02 +0100] rev 56007

tuned;

wenzelm [Sun, 09 Mar 2014 17:37:34 +0100] rev 56006

more formal read_root;

wenzelm [Sun, 09 Mar 2014 17:08:31 +0100] rev 56005

simplified / modernized hide commands: proper outer parsers and PIDE markup via check;

wenzelm [Sun, 09 Mar 2014 17:07:45 +0100] rev 56004

removed dead code;

wenzelm [Sun, 09 Mar 2014 17:02:18 +0100] rev 56003

check fact names with PIDE markup;

wenzelm [Sun, 09 Mar 2014 16:37:56 +0100] rev 56002

tuned signature;

wenzelm [Sun, 09 Mar 2014 15:21:08 +0100] rev 56001

do allow replacement of words where this is appropriate, notably symbol abbrevs and keyword templates (see also 1c42ebdb3a58);

isabelle