src/HOLCF/ROOT.ML
changeset 1307 63a5788774f7
parent 1285 4dd0651d692d
child 1361 90d615b599d9
--- a/src/HOLCF/ROOT.ML	Wed Oct 25 12:53:24 1995 +0100
+++ b/src/HOLCF/ROOT.ML	Wed Oct 25 12:53:53 1995 +0100
@@ -40,4 +40,6 @@
 
 print_depth 100;  
 
+make_chart ();   (*make HTML chart*)
+
 val HOLCF_build_completed = ();	(*indicate successful build*)