equal
deleted
inserted
replaced
|
1 (* Title: ProgLang/tactical.sml |
|
2 Author: Walther Neuper 190922 |
|
3 (c) due to copyright terms |
|
4 *) |
|
5 |
|
6 "-----------------------------------------------------------------------------------------------"; |
|
7 "-----------------------------------------------------------------------------------------------"; |
|
8 "table of contents -----------------------------------------------------------------------------"; |
|
9 "-----------------------------------------------------------------------------------------------"; |
|
10 "-------- xxx ------"; |
|
11 "-------- xxx ------"; |
|
12 "-------- xxx ------"; |
|
13 "-----------------------------------------------------------------------------------------------"; |
|
14 "-----------------------------------------------------------------------------------------------"; |
|
15 "-----------------------------------------------------------------------------------------------"; |
|
16 |
|
17 |
|
18 "-------- xxx ------"; |
|
19 "-------- xxx ------"; |
|
20 "-------- xxx ------"; |