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

[Tobias Nipkow]

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.

Tobias