headache_config.txt 677 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1 2
# no header
| "META.in" -> no
MARCHE Claude's avatar
MARCHE Claude committed
3
| "extmap.ml[i]?" -> no
Andrei Paskevich's avatar
Andrei Paskevich committed
4
| "literals.mll" -> no
5
| "report.ml[i]?" -> no
MARCHE Claude's avatar
MARCHE Claude committed
6
# Objective Caml source
7 8
| ".*\\.ml[il4]?" -> frame width:62 open:"(*" line:"*" close:"*)"
| ".*\\.ml[il4]?\\.in" -> frame width:62 open:"(*" line:"*" close:"*)"
9
| ".*\\.mly"      -> frame width:62 open:"(*" line:"*" close:"*)"
10 11
# Coq source
| ".*\\.v"      -> frame width:62 open:"(*" line:"*" close:"*)"
MARCHE Claude's avatar
MARCHE Claude committed
12
# C source
Guillaume Melquiond's avatar
Guillaume Melquiond committed
13
| ".*\\.[ch]"      -> frame width:62 open:"/*" line:"*" close:"*/"
Jean-Christophe Filliâtre's avatar
Jean-Christophe Filliâtre committed
14
# Misc
15 16 17
| "configure.in" -> frame width:62 open:"#"  line:"#" close:"#"
| "Makefile.in" -> frame width:62 open:"#"  line:"#" close:"#"
| "README"   -> frame width:62 open:"#"  line:"#" close:"#"