equal
deleted
inserted
replaced
1 (* Title: test/../descript.sml |
1 (* Title: test/../descript.sml |
2 Author: Walther Neuper 110320 |
2 Author: Walther Neuper 110320 |
3 (c) copyright due to lincense terms. |
3 (c) copyright due to lincense terms. |
4 *) |
4 *) |
|
5 |
|
6 "-----------------------------------------------------------------"; |
|
7 "table of contents -----------------------------------------------"; |
|
8 "-----------------------------------------------------------------"; |
|
9 "----------- test TODO -------------------------------------------"; |
|
10 "-----------------------------------------------------------------"; |
|
11 "-----------------------------------------------------------------"; |
|
12 "-----------------------------------------------------------------"; |
|
13 |