--- a/src/LK/ex/ROOT.ML Tue Nov 21 12:43:09 1995 +0100
+++ b/src/LK/ex/ROOT.ML Tue Nov 21 12:43:52 1995 +0100
@@ -15,6 +15,4 @@
time_use "ex/quant.ML";
time_use "ex/hardquant.ML";
-make_chart (); (*make HTML chart*)
-
maketest"END: Root file for LK examples";