[isabelle-dev] *** No column information -- cannot interpret tabulators

[Makarius]

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