--- a/src/CCL/ex/ROOT.ML Tue Oct 24 13:54:00 1995 +0100
+++ b/src/CCL/ex/ROOT.ML Tue Oct 24 14:42:15 1995 +0100
@@ -16,4 +16,7 @@
time_use_thy "ex/List";
time_use_thy "ex/Stream";
time_use_thy "ex/Flag";
+
+make_chart (); (*make HTML chart*)
+
maketest"END: Root file for CCL examples";