+IFDEF PREPROCESS THEN
+
+let set_preprocess () =
+ if !G.trace >= 2 then begin
+ G.preprocess := true;
+IFDEF SUMMARY THEN
+ G.summary := true
+ELSE () END
+ end
+
+END
+
+IFDEF MANAGER THEN
+
+let set_manager s = match KS.lowercase s with
+ | "v8" -> G.manager := G.Coq
+ | "ma2" -> G.manager := G.Matita
+ | "lp1" -> G.manager := G.LP1
+ | "lp2" -> G.manager := G.LP2
+ | "tj2" -> G.manager := G.TJ2
+ | "tj3" -> G.manager := G.TJ3
+ | s -> L.warn level (KP.sprintf "Unknown manager: %s" s)
+
+END
+
+IFDEF SUMMARY THEN
+
+let set_summary () =
+ if !G.trace >= 2 then G.summary := true
+
+END
+
+let set_trace i =
+ if !G.trace = 0 && i > 0 then Y.gmtime (G.version_string false);
+ if !G.trace > 0 && i = 0 then Y.utime_stamp "at exit";
+ G.trace := i;
+IFDEF SUMMARY THEN
+ if i <= 1 then G.summary := false
+ELSE () END;
+IFDEF PREPROCESS THEN
+ if i <= 1 then G.preprocess := false
+ELSE () END
+
+let custom_exit () =
+ if !G.trace >= 1 then Y.utime_stamp "at exit"
+