--- a/src/Modal/ex/ROOT.ML Tue Oct 24 14:49:45 1995 +0100
+++ b/src/Modal/ex/ROOT.ML Tue Oct 24 14:50:24 1995 +0100
@@ -25,4 +25,6 @@
time_use "ex/S4thms.ML";
time_use "ex/S43thms.ML";
+make_chart (); (*make HTML chart*)
+
maketest"END: Root file for Modal examples";