DFTool.config
Levin on December 7, 1983 9:29 pm
Russ Atkinson on February 13, 1984 10:08:19 pm PST
DFTool: CONFIGURATION
IMPORTS
BasicTime, Buttons, Commander, DefaultRemoteNames, DFOperationsQueue, DFUtilities, FS, GraphicsOps, InputFocus, IO, Labels, List, Loader, Process, ProcessProps, Rope, Rules, TypeScript, UserCredentials, UserProfile, VFonts, ViewerIO, ViewerOps, ViewerOps, ViewerSpecs
EXPORTS ALL
CONTROL
DFToolUtilitiesImpl, DFLogImpl, BringOverToolImpl, SModelToolImpl, VerifyToolImpl, DFInterfaceImpl =
BEGIN
DFInterfaceImpl;
DFToolUtilitiesImpl;
DFLogImpl;
BringOverToolImpl;
SModelToolImpl;
VerifyToolImpl;
END.