1.1 --- a/test/Tools/isac/Interpret/mstools.sml	Tue Sep 28 13:30:29 2010 +0200
     1.2 +++ b/test/Tools/isac/Interpret/mstools.sml	Fri Oct 01 10:23:38 2010 +0200
     1.3 @@ -1,20 +1,23 @@
     1.4 -(* tests on mstools.sml
     1.5 -   author: Walther Neuper
     1.6 -   051019,
     1.7 -   (c) due to copyright terms
     1.8 +(* Title: tests for Interpret/mstools.sml
     1.9 +   Author: Walther Neuper 100930
    1.10 +   (c) copyright due to lincense terms.
    1.11  
    1.12 -use"../smltest/ME/mstools.sml";
    1.13 -use"mstools.sml";
    1.14 - *)
    1.15 -
    1.16 -"-----------------------------------------------------------------";
    1.17 -"table of contents -----------------------------------------------";
    1.18 -"-----------------------------------------------------------------";
    1.19 -"--------- head_precond ------------------------------------------";
    1.20 +12345678901234567890123456789012345678901234567890123456789012345678901234567890
    1.21 +        10        20        30        40        50        60        70        80
    1.22 +*)
    1.23 +"--------------------------------------------------------";
    1.24 +"table of contents --------------------------------------";
    1.25 +"--------------------------------------------------------";
    1.26 +"----------- fun ----------------------------------------";
    1.27 +"--------------------------------------------------------";
    1.28 +"--------------------------------------------------------";
    1.29 +"--------------------------------------------------------";
    1.30  "-----------------------------------------------------------------";
    1.31  
    1.32  
    1.33  
    1.34 -"--------- head_precond ------------------------------------------";
    1.35 -"--------- head_precond ------------------------------------------";
    1.36 -"--------- head_precond ------------------------------------------";
    1.37 +(*========== inhibit exn =======================================================
    1.38 +============ inhibit exn =====================================================*)
    1.39 +
    1.40 +(*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
    1.41 +-.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)