On Sun, 24 Aug 2008, Tobias Nipkow wrote: > I start getting these error messages when processing thy files with tabs in > them. Why? It is a pain to remove the tabs by hand.
The system now takes source positions very seriously. Tabs are not really
well-defined in that respect, but it should work most of the time. Can
you produce an example where the error shows up?
Makarius
