| Sat, 14 Mar 2009 12:50:29 +0100 |
haftmann |
reverted to old version of Set.thy -- strange effects have to be traced first
|
changeset |
files
|
| Sun, 15 Mar 2009 15:59:45 +0100 |
wenzelm |
simplified attribute and method setup;
|
changeset |
files
|
| Sun, 15 Mar 2009 15:59:44 +0100 |
wenzelm |
simplified attribute setup;
|
changeset |
files
|
| 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
|
| 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
|
| Fri, 13 Mar 2009 19:17:57 +0100 |
haftmann |
moved some generic nonsense to arith_data.ML
|
changeset |
files
|