PullDown

N.B.
	The widget files are computer-generated. The real source is
	*.w. It has been processed with Wbuild (available by
	anonymous ftp from a.cs.uiuc.edu)

Author
	Bert Bos <bert@let.rug.nl>
	Alfa-informatica, Rijksuniversiteit Groningen, The Netherlands
	1993
