# HG changeset patch
# User clasohm
# Date 814622004 -3600
# Node ID 7c9c96e3621b5a32639acb53aa97a8975a294753
# Parent  6ed5e2d9657506f46e044fac58d98263b44ca46d
added make_chart

diff -r 6ed5e2d96575 -r 7c9c96e3621b src/HOLCF/ex/ROOT.ML
--- a/src/HOLCF/ex/ROOT.ML	Wed Oct 25 10:49:53 1995 +0100
+++ b/src/HOLCF/ex/ROOT.ML	Wed Oct 25 12:53:24 1995 +0100
@@ -15,4 +15,6 @@
 time_use_thy "ex/Fix2";
 time_use "ex/loeckx.ML";
 
+make_chart ();   (*make HTML chart*)
+
 maketest     "END: Root file for HOLCF examples";