[texhax] which TeX?

[Karl Berry]

    Maybe this document might help you to understand the various *TeX names, 

Another place where I tried to address the question (briefly) is
http://tug.org/levels.html.
    
    > w32tex

For the record, it is true that the Windows binaries in TeX Live come
from w32tex, and Akira Kakuto, the w32tex author, is as involved as
anyone with TL development and release.  Indeed, it's hard to imagine
where we'd be on Windows without him.

Best,
Karl