src/HOLCF/ROOT.ML
changeset 1571 b4aced335d94
parent 1461 6bcb44e4d6e5
child 1779 1155c06fa956
     1.1 --- a/src/HOLCF/ROOT.ML	Mon Mar 11 23:59:22 1996 +0100
     1.2 +++ b/src/HOLCF/ROOT.ML	Tue Mar 12 12:59:56 1996 +0100
     1.3 @@ -39,5 +39,6 @@
     1.4  init_pps ();
     1.5  
     1.6  print_depth 100;  
     1.7 +make_html:=false;
     1.8  
     1.9  val HOLCF_build_completed = (); (*indicate successful build*)