> Furthermore, in the case (= T1 T2), if either (= S1 (+ S2 1))
> or (= (+ S1 1) S2) that case is also erroneous, since a difference
> of a single space is too likely to be a typo.

I would change that to (and (= T1 T2) (not (= T1 ""))), as one might
sometimes want to use one-space-indentation (yes, it might look nice
som sometimes, but not verry often, I think), and shouldn't be
dissallowed to do so. Otherwise, I think this propoal for handling
TABs is actually quite a good one...

/Egil

--
http://redhog.org
GPG Public key: http://redhog.org/PGP%20Public%20key.asc
Hi! I'm a .signature virus! Copy me into your ~/.signature to help me spread!