src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Tue Oct 23 23:29:29 2001 +0200
+++ b/src/Pure/ROOT.ML	Wed Oct 24 17:31:20 2001 +0200
@@ -10,7 +10,7 @@
 val version = "Isabelle repository version";    (*filled in automatically!*)
 
 
-print_depth 1;
+print_depth 8;
 
 (*global flags*)
 val print_mode = ref ([]: string list);
@@ -84,7 +84,6 @@
 val use = ThyInfo.use;
 val cd = File.cd o Path.unpack;
 
-print_depth 8;
 ml_prompts "ML> " "ML# ";
 
 proofs := 0;