equal
deleted
inserted
replaced
29 ML{* writeln "**** run systests complete ******************************" *}; |
29 ML{* writeln "**** run systests complete ******************************" *}; |
30 (* |
30 (* |
31 cd"smltest/Scripts"; |
31 cd"smltest/Scripts"; |
32 *) |
32 *) |
33 use"../../../test/Tools/isac/ProgLang/termC.sml"; (*part.*) |
33 use"../../../test/Tools/isac/ProgLang/termC.sml"; (*part.*) |
|
34 |
34 use"../../../test/Tools/isac/ProgLang/calculate.sml"; (*part.*) |
35 use"../../../test/Tools/isac/ProgLang/calculate.sml"; (*part.*) |
|
36 |
35 use"../../../test/Tools/isac/ProgLang/rewrite.sml"; (*part.*) |
37 use"../../../test/Tools/isac/ProgLang/rewrite.sml"; (*part.*) |
36 (* |
38 (* |
37 use"listg.sml"; |
39 use"listg.sml"; |
38 use"scrtools.sml"; |
40 use"scrtools.sml"; |
39 use"tools.sml"; |
41 use"tools.sml"; |