| 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 |
| Sat, 14 Mar 2009 00:13:50 +0100 | wenzelm | removed obsolete no_base_names naming policy; | changeset | files |
| Fri, 13 Mar 2009 23:56:07 +0100 | wenzelm | merged | changeset | files |
| Fri, 13 Mar 2009 19:18:07 +0100 | haftmann | merged | changeset | files |
| Fri, 13 Mar 2009 19:17:58 +0100 | haftmann | coherent binding policy with primitive target operations | changeset | files |