--- a/src/HOL/ROOT.ML Tue Oct 24 14:49:45 1995 +0100 +++ b/src/HOL/ROOT.ML Tue Oct 24 14:50:24 1995 +0100 @@ -85,4 +85,6 @@ init_pps (); print_depth 8; +make_chart (); (*make HTML chart*) + val HOL_build_completed = (); (*indicate successful build*)