#!/bin/csh -f
# 
# the above line is just in case we're running this as a script.
# normally it'll be run as .cshrc.
#



		stty dec
		set term = vt100
		echo -n "Terminal type [$term]: "
		set noglob
#		unsetenv TERMCAP
#		eval `tset -s -I -Q - $term`
		unset noglob

	echo -n  "Executing TechInfo ... "
	/mit/pips_dev/work/ti