changeset 11919 | 68b2578d4592 |
parent 11882 | 954f36537193 |
child 11966 | 8fe2ee787608 |
--- 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;