# HG changeset patch
# User wenzelm
# Date 1003937480 -7200
# Node ID 68b2578d4592eefc2b91469a44846fd9402cd6fb
# Parent  dfdf0798d7b85cd917f9fa137be63b830c9d2abd
print_depth 8 from the very beginning;

diff -r dfdf0798d7b8 -r 68b2578d4592 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;