changeset 1361 | 90d615b599d9 |
parent 1307 | 63a5788774f7 |
child 1461 | 6bcb44e4d6e5 |
1360:6bdee79ef125 | 1361:90d615b599d9 |
---|---|
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 |
42 |
43 make_chart (); (*make HTML chart*) |
|
44 |
|
45 val HOLCF_build_completed = (); (*indicate successful build*) |
43 val HOLCF_build_completed = (); (*indicate successful build*) |