[isabelle-dev] NEWS

Makarius makarius at sketis.net
Mon Mar 16 20:29:41 CET 2009


*** ML ***

* Simplified ML attribute and method setup, cf. functions Attrib.setup
and Method.setup, as well as commands 'attribute_setup' and
'method_setup'.  INCOMPATIBILITY for 'method_setup', need to simplify
existing code accordingly, or use plain 'setup' together with old
Method.add_method.



More information about the isabelle-dev mailing list