1.1 --- a/test/Tools/isac/Interpret/script.sml	Wed May 11 08:25:40 2011 +0200
     1.2 +++ b/test/Tools/isac/Interpret/script.sml	Wed May 11 14:58:07 2011 +0200
     1.3 @@ -14,6 +14,7 @@
     1.4  "----------- fun sel_appl_atomic_tacs ----------------------------";
     1.5  "----------- fun init_form, fun get_stac -------------------------";
     1.6  "----------- x+1=2 start SubProblem 'stac2tac_ TODO: no match for ";
     1.7 +"----------- x+1=2 set ctxt in Subproblem ------------------------";
     1.8  "-----------------------------------------------------------------";
     1.9  "-----------------------------------------------------------------";
    1.10  "-----------------------------------------------------------------";
    1.11 @@ -328,3 +329,7 @@
    1.12  | _ => error "script.sml x+1=2 start SubProblem from script";
    1.13  
    1.14  
    1.15 +"----------- x+1=2 set ctxt in Subproblem ------------------------";
    1.16 +"----------- x+1=2 set ctxt in Subproblem ------------------------";
    1.17 +"----------- x+1=2 set ctxt in Subproblem ------------------------";
    1.18 +