diff -r 27c1e88a62b4 -r ae31bb7774a7 src/ZF/ex/ROOT.ML --- 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";