Closed akerbos closed 10 years ago
Some messages have as last line ^l.\d+ .*$ which holds the line number, e.g.
^l.\d+ .*$
Runaway argument? ... l.511 \end{solution}
Make sure to exploit this information when available.
Note that these lines may even terminate file-line-number messages so we can finally copy context in a robust manner?!
Some messages have as last line
^l.\d+ .*$which holds the line number, e.g.Make sure to exploit this information when available.
Note that these lines may even terminate file-line-number messages so we can finally copy context in a robust manner?!