fix sessions and CE oracles
[why3.git] / misc / headache_config.txt
blob3294eb11b8b9c7fdfd4c8fe0d55099a6aa034668
1 # no header
2 | "dimacs.mll" -> no
3 | "extmap.ml[i]?" -> no
4 | "literals.mll" -> no
5 | "report.ml[i]?" -> no
6 # Objective Caml source
7 | ".*\\.ml[ily]?" -> frame width:62 open:"(*" line:"*" close:"*)"
8 # Coq source
9 | ".*\\.v"      -> frame width:62 open:"(*" line:"*" close:"*)"
10 # C source
11 | ".*\\.[ch]"      -> frame width:62 open:"/*" line:"*" close:"*/"
12 # Misc
13 | "configure.in" -> frame width:62 open:"#"  line:"#" close:"#"
14 | "Makefile.in" -> frame width:62 open:"#"  line:"#" close:"#"