>>>>> "Angus" == Angus Leeming <[EMAIL PROTECTED]> writes:
>> Clever. Actually, I think we should do something like that when >> parsing .log files, but I am not sure how. Angus> Can you give an example? This bug, for example: http://bugzilla.lyx.org/show_bug.cgi?id=1027 JMarc