changeset 1293 | 4ade5d1d369c |
parent 997 | a58082b8066c |
child 1361 | 90d615b599d9 |
1292:f55472745044 | 1293:4ade5d1d369c |
---|---|
38 use "eval.ML"; |
38 use "eval.ML"; |
39 use_thy "Fix"; |
39 use_thy "Fix"; |
40 |
40 |
41 print_depth 8; |
41 print_depth 8; |
42 |
42 |
43 make_chart (); (*make HTML chart*) |
|
44 |
|
43 val CCL_build_completed = (); (*indicate successful build*) |
45 val CCL_build_completed = (); (*indicate successful build*) |