isabelle: Changelog

haftmann [Sat, 14 Mar 2009 12:50:29 +0100] rev 30531

reverted to old version of Set.thy -- strange effects have to be traced first

wenzelm [Sun, 15 Mar 2009 15:59:45 +0100] rev 30530

simplified attribute and method setup;

wenzelm [Sun, 15 Mar 2009 15:59:44 +0100] rev 30529

simplified attribute setup; replaced add_args by add parser;

wenzelm [Sun, 15 Mar 2009 15:59:44 +0100] rev 30528

simplified attribute setup;

wenzelm [Sun, 15 Mar 2009 15:59:44 +0100] rev 30527

updated generated files;

wenzelm [Sun, 15 Mar 2009 15:59:43 +0100] rev 30526

added 'attribute_setup' command;

wenzelm [Sun, 15 Mar 2009 15:59:43 +0100] rev 30525

added setup and attribute_setup -- expect plain parser instead of syntax function; aded add_del parser;

wenzelm [Sun, 15 Mar 2009 15:59:43 +0100] rev 30524

ML_Syntax.make_binding;

wenzelm [Sun, 15 Mar 2009 15:59:42 +0100] rev 30523

added make_binding;

wenzelm [Sat, 14 Mar 2009 00:13:50 +0100] rev 30522

removed obsolete no_base_names naming policy;

isabelle