Greg MATTHEWS writes:

>what is the difference between ctrl+d and logout? why will one work and not 
>the other. where is this setup/documented?

in my fragmented memory on csh usage I think I remember that you
can configure [t]csh to not log you off when hitting ^D, as I
understand, the intention was that you don't log off accidentally,
like when you end some other program reading from stdin with ^D
and the system goes a bit sluggish (like on old, loaded multiuser
environments) and you hit ^D once too often.
See man csh and .cshrc/.login.

--mkb