etc/headache_config


1
2
3
4
5
6
7

  ".*\\.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:"*/"