1.1 --- a/test/Tools/isac/Interpret/inform.sml	Tue Feb 06 15:26:05 2018 +0100
     1.2 +++ b/test/Tools/isac/Interpret/inform.sml	Tue Feb 06 16:18:43 2018 +0100
     1.3 @@ -642,7 +642,7 @@
     1.4  val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt [];
     1.5  val NONE = env;
     1.6  val (SOME istate, NONE) = loc;
     1.7 -default_print_depth 5;
     1.8 +(*default_print_depth 5;*)
     1.9  writeln"-----------------------------------------------------------";
    1.10  spec;
    1.11  writeln (itms2str_ ctxt probl);
    1.12 @@ -660,11 +660,11 @@
    1.13  val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt [];
    1.14  val NONE = env;
    1.15  val (SOME istate, NONE) = loc;
    1.16 -default_print_depth 5; writeln (istate2str (fst istate));  default_print_depth 3;
    1.17 +(*default_print_depth 5;*) writeln (istate2str (fst istate));  (*default_print_depth 3;*)
    1.18  (*ScrState ([],
    1.19   [], NONE,
    1.20   ??.empty, Sundef, false)*)
    1.21 -default_print_depth 5; spec; default_print_depth 3;
    1.22 +(*default_print_depth 5;*) spec; (*default_print_depth 3;*)
    1.23  (*("Isac",
    1.24        ["derivative_of", "function"],
    1.25        ["diff", "differentiate_on_R"]) : spec*)
    1.26 @@ -704,11 +704,11 @@
    1.27  val PblObj {probl, meth, spec, fmz, env, loc, ...} = get_obj I pt [];
    1.28  val NONE = env;
    1.29  val (SOME istate, NONE) = loc;
    1.30 -default_print_depth 5; writeln (istate2str (fst istate));  default_print_depth 3;
    1.31 +(*default_print_depth 5;*) writeln (istate2str (fst istate));  (*default_print_depth 3;*)
    1.32  (*ScrState ([],
    1.33   [], NONE,
    1.34   ??.empty, Sundef, false)*)
    1.35 -default_print_depth 5; spec; default_print_depth 3;
    1.36 +(*default_print_depth 5;*) spec; (*default_print_depth 3;*)
    1.37  (*("Isac",
    1.38        ["derivative_of", "function"],
    1.39        ["diff", "differentiate_on_R"]) : spec*)