--- a/src/ZF/AC/ROOT.ML Tue Oct 24 14:49:45 1995 +0100 +++ b/src/ZF/AC/ROOT.ML Tue Oct 24 14:50:24 1995 +0100 @@ -40,4 +40,6 @@ time_use_thy "AC/DC"; +make_chart (); (*make HTML chart*) + writeln"END: Root file for ZF/AC";