equal
deleted
inserted
replaced
5 |
5 |
6 theory Test_Some imports Isac begin |
6 theory Test_Some imports Isac begin |
7 |
7 |
8 ML{* writeln "**** run the test ***************************************" *} |
8 ML{* writeln "**** run the test ***************************************" *} |
9 |
9 |
10 use"../../../test/Tools/isac/Frontend/interface.sml" |
10 use"../../../test/Tools/isac/Interpret/script.sml" |
11 |
11 |
12 ML{* |
12 ML{* |
13 |
13 |
14 |
14 |
15 *} |
15 |
16 ML{* |
|
17 |
16 |
18 *} |
17 *} |
19 ML{* |
18 ML{* |
20 |
19 *} |
|
20 ML{* |
|
21 *} |
|
22 ML{* |
21 *} |
23 *} |
22 ML{* |
24 ML{* |
23 *} |
25 *} |
24 ML{* |
26 ML{* |
25 "~~~~~ fun , args:"; val () = (); |
27 "~~~~~ fun , args:"; val () = (); |