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

Tobias Nipkow nipkow at in.tum.de
Sun Aug 24 11:05:09 CEST 2008

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.


More information about the isabelle-dev mailing list