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

Makarius 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 mailing list