Yes, that's the reason he started writing TeX. But I think the older editions were not typeset with TeX yet. I have the impression I read somewhere that he gave his original books, together with all his corrections, for someone to typeset in TeX for the new editions. I could be wrong.

--ZZamboni