isabelle: Changelog

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;

wenzelm [Fri, 13 Mar 2009 23:56:07 +0100] rev 30521

merged

haftmann [Fri, 13 Mar 2009 19:18:07 +0100] rev 30520

merged

haftmann [Fri, 13 Mar 2009 19:17:58 +0100] rev 30519

coherent binding policy with primitive target operations

haftmann [Fri, 13 Mar 2009 19:17:57 +0100] rev 30518

moved some generic nonsense to arith_data.ML

haftmann [Fri, 13 Mar 2009 19:17:57 +0100] rev 30517

tuned ML code

huffman [Fri, 13 Mar 2009 10:14:47 -0700] rev 30516

remove legacy ML bindings

isabelle