--- a/src/LCF/ROOT.ML Tue Oct 24 14:49:45 1995 +0100 +++ b/src/LCF/ROOT.ML Tue Oct 24 14:50:24 1995 +0100 @@ -17,4 +17,6 @@ use"pair.ML"; use"fix.ML"; +make_chart (); (*make HTML chart*) + val LCF_build_completed = (); (*indicate successful build*)