1.1 --- a/src/Tools/isac/Build_Isac.thy	Tue Mar 31 15:43:33 2020 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Wed Apr 01 10:24:13 2020 +0200
     1.3 @@ -148,7 +148,7 @@
     1.4      calcelems.sml:val depth = Unsynchronized.ref 99999;
     1.5      calcelems.sml:val lim_rewrite = Unsynchronized.ref 99999;
     1.6      calcelems.sml:val lim_deriv = Unsynchronized.ref 100;
     1.7 -    Interpret/script.sml:val trace_script = Unsynchronized.ref false;
     1.8 +    Interpret/script.sml:val trace_LI = Unsynchronized.ref false;
     1.9    KEEP FOR EASIER DEVELOPMENT
    1.10      calcelems.sml:val check_guhs_unique = Unsynchronized.ref true;
    1.11    KEEP FOR DEMOS