blob: 203f888e61203ffdca2313cc197d86692be69a6c (
plain)
1
2
3
4
5
6
|
".*\\.mllib" -> frame open:"(*" line:"=" close:"*)"
| ".*\\.lem" -> frame open:"(*" line:"=" close:"*)"
| ".*\\.v" -> frame open:"(*" line:"=" close:"*)"
| ".*\\.thy" -> frame open:"(*" line:"=" close:"*)"
| ".*\\.sml" -> frame open:"(*" line:"=" close:"*)"
| ".*\\.sail" -> frame open:"/*" line:"=" close:"*/"
|