equal
deleted
inserted
replaced
1 (* tests the interface of isac's SML-kernel in accordance to |
1 (* Title: tests the interface of isac's SML-kernel in accordance to |
2 java-tests/isac.bridge. |
2 java-tests/isac.bridge. |
|
3 Author: Walther Neuper |
|
4 (c) copyright due to lincense terms. |
3 |
5 |
4 WN050707 ... if true, the test ist marked with a \label referring |
6 WN050707 ... if true, the test ist marked with a \label referring |
5 to the same UC in isac-docu.tex as the JUnit testcase. |
7 to the same UC in isac-docu.tex as the JUnit testcase. |
6 use"../smltest/FE-interface/interface.sml"; |
8 *) |
7 use"interface.sml"; |
|
8 *) |
|
9 |
9 |
10 "--------------------------------------------------------"; |
10 "--------------------------------------------------------"; |
11 "table of contents --------------------------------------"; |
11 "table of contents --------------------------------------"; |
12 "--------------------------------------------------------"; |
12 "--------------------------------------------------------"; |
13 "within struct ------------------------------------------"; |
13 "within struct ------------------------------------------"; |