echo " "
echo "The vhdl style tool set consists of these tools: "
echo " "
echo "    HELP: vhdl_tools, help_vhdl_tools, user_vhdl_guide"
echo " "
echo "    LETTER STYLE: vletter, vlower, vupper, vletter_set_style"
echo " "
echo "    TYPE STYLE: vlw, vtype, vtype_italics, vtype_set_style"
echo " "
echo "    SHAPE STYLE: vshape, vshape94, vshape_set_style"  
echo " "
echo "    SCROLL STYLE: vscroll, vscroll22, vsun, vscroll_set_style"
echo " "