src/Pure/ROOT.ML
changeset 12248 f059876ef1d3
parent 11966 8fe2ee787608
child 12778 3120e338ffae
--- 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);