src/HOLCF/ROOT.ML
changeset 1571 b4aced335d94
parent 1461 6bcb44e4d6e5
child 1779 1155c06fa956
equal deleted inserted replaced
1570:fd1b9c721ac7 1571:b4aced335d94
    37 
    37 
    38 init_thy_reader();
    38 init_thy_reader();
    39 init_pps ();
    39 init_pps ();
    40 
    40 
    41 print_depth 100;  
    41 print_depth 100;  
       
    42 make_html:=false;
    42 
    43 
    43 val HOLCF_build_completed = (); (*indicate successful build*)
    44 val HOLCF_build_completed = (); (*indicate successful build*)