".*\\.lem"    -> frame open:"(*" line:"=" close:"*)"
| ".*\\.sail"   -> frame open:"(*" line:"=" close:"*)"