July 2nd Tidy bug

Tidy still has a problem with "quote-ampersand".  Given

	I work for AT&T, not AT&T

and

	quote-ampersand: yes

Tidy does this:

	I work for AT∓T, not AT∓T

(setting "quote-ampersand" to "no" leaves the original as is).


/Jelks

Received on Saturday, 3 July 1999 20:05:30 UTC