# HG changeset patch
# User clasohm
# Date 816954232 -3600
# Node ID 2e29baa12ae71e3ca90d746d3886247c2073ff1b
# Parent  4a960c01238398b9015ee94a31333878090fca66
removed make_chart

diff -r 4a960c012383 -r 2e29baa12ae7 src/CTT/ex/ROOT.ML
--- a/src/CTT/ex/ROOT.ML	Tue Nov 21 12:43:09 1995 +0100
+++ b/src/CTT/ex/ROOT.ML	Tue Nov 21 12:43:52 1995 +0100
@@ -17,6 +17,4 @@
 time_use "ex/equal.ML";
 time_use "ex/synth.ML";
 
-make_chart ();   (*make HTML chart*)
-
 maketest"END: Root file for CTT examples";
diff -r 4a960c012383 -r 2e29baa12ae7 src/LK/ex/ROOT.ML
--- 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";
diff -r 4a960c012383 -r 2e29baa12ae7 src/Modal/ex/ROOT.ML
--- a/src/Modal/ex/ROOT.ML	Tue Nov 21 12:43:09 1995 +0100
+++ b/src/Modal/ex/ROOT.ML	Tue Nov 21 12:43:52 1995 +0100
@@ -25,6 +25,4 @@
 time_use "ex/S4thms.ML";
 time_use "ex/S43thms.ML";
 
-make_chart ();   (*make HTML chart*)
-
 maketest"END: Root file for Modal examples";