--- a/src/ZF/ex/ROOT.ML Tue Oct 24 14:49:45 1995 +0100
+++ b/src/ZF/ex/ROOT.ML Tue Oct 24 14:50:24 1995 +0100
@@ -42,4 +42,6 @@
time_use_thy "ex/LList";
time_use_thy "ex/CoUnit";
+make_chart (); (*make HTML chart*)
+
writeln"END: Root file for ZF Set Theory examples";