TerminalEmulator.require
Copyright Ó 1989, 1990, 1992 by Xerox Corporation. All rights reserved.
Mike Spreitzer December 15, 1986 6:56:35 pm PST
Last tweaked by Mike Spreitzer on November 24, 1987 1:52:25 pm PST
Norman Adams, March 5, 1990 8:42 am PST
Willie-s, June 12, 1992 3:00 pm PDT