# HG changeset patch
# User wenzelm
# Date 1006286150 -3600
# Node ID f059876ef1d3f3259ce1585c6d3bcc9618603d79
# Parent  9b029789aff6d27dd5d1f0476c7264eab67725fe
print_depth 10;

diff -r 9b029789aff6 -r f059876ef1d3 src/Pure/ROOT.ML
--- 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);