Sun, 15 Mar 2009 15:59:44 +0100 | wenzelm | simplified attribute setup; | changeset | files |
Sun, 15 Mar 2009 15:59:44 +0100 | wenzelm | updated generated files; | changeset | files |
Sun, 15 Mar 2009 15:59:43 +0100 | wenzelm | added 'attribute_setup' command; | changeset | files |
Sun, 15 Mar 2009 15:59:43 +0100 | wenzelm | added setup and attribute_setup -- expect plain parser instead of syntax function; | changeset | files |
Sun, 15 Mar 2009 15:59:43 +0100 | wenzelm | ML_Syntax.make_binding; | changeset | files |
Sun, 15 Mar 2009 15:59:42 +0100 | wenzelm | added make_binding; | changeset | files |