--- a/src/HOLCF/ex/ROOT.ML Wed Oct 25 10:49:53 1995 +0100 +++ b/src/HOLCF/ex/ROOT.ML Wed Oct 25 12:53:24 1995 +0100 @@ -15,4 +15,6 @@ time_use_thy "ex/Fix2"; time_use "ex/loeckx.ML"; +make_chart (); (*make HTML chart*) + maketest "END: Root file for HOLCF examples";