src/HOLCF/ex/ROOT.ML
changeset 1306 7c9c96e3621b
parent 1274 ea0668a1c0ba
child 1351 4a960c012383
     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";