added make_chart
authorclasohm
Wed Oct 25 12:53:24 1995 +0100 (1995-10-25)
changeset 13067c9c96e3621b
parent 1305 6ed5e2d96575
child 1307 63a5788774f7
added make_chart
src/HOLCF/ex/ROOT.ML
     1.1 --- a/src/HOLCF/ex/ROOT.ML	Wed Oct 25 10:49:53 1995 +0100
     1.2 +++ b/src/HOLCF/ex/ROOT.ML	Wed Oct 25 12:53:24 1995 +0100
     1.3 @@ -15,4 +15,6 @@
     1.4  time_use_thy "ex/Fix2";
     1.5  time_use "ex/loeckx.ML";
     1.6  
     1.7 +make_chart ();   (*make HTML chart*)
     1.8 +
     1.9  maketest     "END: Root file for HOLCF examples";