-- TerminalIOPackage.config
-- last modified by Ch. Jacobi August 25, 1983 9:29 am
TerminalIOPackage: CONFIGURATION
IMPORTS
BasicTime, ColorWorld, Commander, Cursors, EditedStream, Graphics, Icons, InputFocus, Interminal, IO, Process, Rope, RuntimeError, Terminal, TerminalExtras, TIPUser, UserProfile, VFonts, ViewerIO, ViewerLocks, ViewerOps, ViewerTools
EXPORTS
TerminalIO, PopUpMenu
CONTROL
TerminalIOImpl, PopUpMenuImpl =
BEGIN
TerminalIOImpl;
PopUpMenuImpl;
END.