[isabelle-dev] *** No column information -- cannot interpret tabulators
makarius at sketis.net
Sun Aug 24 15:18:00 CEST 2008
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?
More information about the isabelle-dev