print_depth 10;

--- a/src/Pure/ROOT.ML	Tue Nov 20 20:55:33 2001 +0100
+++ b/src/Pure/ROOT.ML	Tue Nov 20 20:55:50 2001 +0100
@@ -10,7 +10,7 @@
 val version = "Isabelle repository version";    (*filled in automatically!*)
 
 
-print_depth 8;
+print_depth 10;
 
 (*global flags*)
 val print_mode = ref ([]: string list);