14 lines
387 B
INI
14 lines
387 B
INI
[filter]
|
|
id = bison
|
|
name = Bison
|
|
e/(?P<file>[^:]+):(?P<line>\d+)\.(\d+|\d+\-\d+):/
|
|
|
|
[filter]
|
|
id = latex
|
|
name = LaTeX
|
|
o/^l\.(?P<line>\d+)/
|
|
o/^LaTeX Warning: Reference .* on page .* undefined on input line (?P<line>\d+)\./
|
|
o/^\! LaTeX Error: .*/
|
|
o/^Overfull \\[vh]box .* detected at line (?P<line>\d+)/
|
|
o/^Overfull \\[vh]box .* in paragraph at lines (?P<line>\d+)/
|