You must use an editor like "pico" to create your HTML documents, and a
browser like "lynx" to test your HTML documents. These programs must know
what kind of terminal you are using. The most common type of terminal is a
"VT100", which is what we'll assume here. To set your terminal type, enter
the following command at the Unix prompt:
set term=vt100
HINT: Add this to your ".cshrc" file so it is run when you log in.