changeset 55275 | f08422eeef24 |
parent 52142 | e7febad0c988 |
child 55448 | dd65e9fe85a7 |
55274:136f45e7a86e | 55275:f08422eeef24 |
---|---|
14 |
14 |
15 ML_file "~~/src/Tools/isac/Frontend/messages.sml" |
15 ML_file "~~/src/Tools/isac/Frontend/messages.sml" |
16 ML_file "~~/src/Tools/isac/Frontend/states.sml" |
16 ML_file "~~/src/Tools/isac/Frontend/states.sml" |
17 ML_file "~~/src/Tools/isac/Frontend/interface.sml" |
17 ML_file "~~/src/Tools/isac/Frontend/interface.sml" |
18 |
18 |
19 use "~~/src/Tools/isac/print_exn_G.sml" |
19 ML_file "~~/src/Tools/isac/print_exn_G.sml" |
20 end |
20 end |