Sat Aug 24 22:38:12 1996 (tmcintos@knapp38.res.iastate.edu (Tim))
    * user.c: updated to use terminal_colour()

