changeset 59269 | 1da53d1540fe |
parent 59264 | f04094deb7f3 |
child 59279 | 255c853ea2f0 |
1.1 --- a/test/Tools/isac/Interpret/inform.sml Wed Dec 14 14:20:25 2016 +0100 1.2 +++ b/test/Tools/isac/Interpret/inform.sml Sun Dec 18 16:27:41 2016 +0100 1.3 @@ -1,9 +1,6 @@ 1.4 (* Title: tests on inform.sml 1.5 Author: Walther Neuper 060225, 1.6 (c) due to copyright terms 1.7 - 1.8 -use"../smltest/ME/inform.sml"; 1.9 -use"inform.sml"; 1.10 *) 1.11 1.12 "-----------------------------------------------------------------";