| changeset 52254 | 994055f7db80 |
| parent 52248 | 2c893e0c1def |
| 52253:afca6a99a361 | 52254:994055f7db80 |
|---|---|
7 ML_file "base_generator.ML" |
7 ML_file "base_generator.ML" |
8 ML_file "generator.ML" |
8 ML_file "generator.ML" |
9 ML_file "gen_construction.ML" |
9 ML_file "gen_construction.ML" |
10 ML_file "spec_check.ML" |
10 ML_file "spec_check.ML" |
11 ML_file "output_style.ML" |
11 ML_file "output_style.ML" |
12 |
12 setup Output_Style.setup |
13 setup {* Perl_Style.setup #> CMStyle.setup *} |
|
14 |
13 |
15 end |
14 end |