2006-09-02 00:34:01 -07:00
|
|
|
[filter]
|
|
|
|
|
id = bison
|
|
|
|
|
name = Bison
|
2006-11-02 00:09:24 -08:00
|
|
|
e/(?P<file>[^:]+):(?P<line>\d+)\.(\d+|\d+\-\d+):/
|
2006-09-03 23:04:29 -07:00
|
|
|
|
|
|
|
|
[filter]
|
|
|
|
|
id = latex
|
|
|
|
|
name = LaTeX
|
2006-11-02 00:09:24 -08:00
|
|
|
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+)/
|
