Debian and Pentium 4

[Kay Nettle]

One of our profs bought a Dell 8100 Pentium 4 for home use and he 
wants to install Linux on it.  He would like to install Debian, but 
he says that Debian doesn't support the Pentium 4 yet.  Is this true?

Kay