--- a/src/LCF/ROOT.ML Tue Nov 21 14:53:03 1995 +0100 +++ b/src/LCF/ROOT.ML Tue Nov 21 15:10:12 1995 +0100 @@ -17,6 +17,4 @@ use"pair.ML"; use"fix.ML"; -make_chart (); (*make HTML chart*) - val LCF_build_completed = (); (*indicate successful build*)