Richard Heck wrote:
> It's not that I don't agree. But we chop lines in weird ways in other 
> places to try to stay below the 80-character limit. I was assuming this 
> issue was for the same reason. Perhaps not.

no, these are intentional eolns so that tex output is readable by
human eyes.

pavel

Reply via email to