diff -r 6bdee79ef125 -r 90d615b599d9 src/CTT/ROOT.ML --- a/src/CTT/ROOT.ML Tue Nov 21 14:53:03 1995 +0100 +++ b/src/CTT/ROOT.ML Tue Nov 21 15:10:12 1995 +0100 @@ -23,6 +23,4 @@ use "../Pure/install_pp.ML"; print_depth 8; -make_chart (); (*make HTML chart*) - val CTT_build_completed = (); (*indicate successful build*)