print_depth 8 from the very beginning;
authorwenzelm
Wed Oct 24 17:31:20 2001 +0200 (2001-10-24)
changeset 1191968b2578d4592
parent 11918 dfdf0798d7b8
child 11920 6833cadb4062
print_depth 8 from the very beginning;
src/Pure/ROOT.ML
     1.1 --- a/src/Pure/ROOT.ML	Tue Oct 23 23:29:29 2001 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Wed Oct 24 17:31:20 2001 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  val version = "Isabelle repository version";    (*filled in automatically!*)
     1.5  
     1.6  
     1.7 -print_depth 1;
     1.8 +print_depth 8;
     1.9  
    1.10  (*global flags*)
    1.11  val print_mode = ref ([]: string list);
    1.12 @@ -84,7 +84,6 @@
    1.13  val use = ThyInfo.use;
    1.14  val cd = File.cd o Path.unpack;
    1.15  
    1.16 -print_depth 8;
    1.17  ml_prompts "ML> " "ML# ";
    1.18  
    1.19  proofs := 0;