--- 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";