equal
deleted
inserted
replaced
76 else (warning (update (stats, badobjs) true); err badobjs) |
76 else (warning (update (stats, badobjs) true); err badobjs) |
77 in |
77 in |
78 {status = status, finish = finish} |
78 {status = status, finish = finish} |
79 end) |
79 end) |
80 |
80 |
|
81 val _ = Theory.setup perl_style; |
|
82 |
81 |
83 |
82 (* CM style: meshes with CM output; highlighted in sml-mode *) |
84 (* CM style: meshes with CM output; highlighted in sml-mode *) |
83 |
85 |
84 val cm_style = |
86 val cm_style = |
85 Spec_Check.register_style "CM" |
87 Spec_Check.register_style "CM" |
104 end) |
106 end) |
105 in |
107 in |
106 {status = K (), finish = finish} |
108 {status = K (), finish = finish} |
107 end) |
109 end) |
108 |
110 |
109 |
111 val _ = Theory.setup cm_style; |
110 (* setup *) |
|
111 |
|
112 val _ = Context.>> (Context.map_theory (perl_style #> cm_style)); |
|
113 |
112 |
114 end |
113 end |