Deprecate tabs for indenting (was Re: Indenting with tabs vs spaces)

[Greg Ewing]

"Stuart D. Gathman" wrote:
> 
> Provided that all tabs precede all spaces in the leading indentation, and
> that the tab expansion value is sufficiently large (>= 4 in the above
> example)

That comment illustrates that there is still a
relationship that must hold between tab and space
widths. It's a looser one than we have now,
but I think it's still too potentially confusing.
Best to define tabs and spaces as completely
incommensurate, and ban mixing them altogether.

-- 
Greg Ewing, Computer Science Dept, University of Canterbury,	  
Christchurch, New Zealand
To get my email address, please visit my web page:	  
http://www.cosc.canterbury.ac.nz/~greg