-- ExtraBinFiles.df
-- Copyright Ó 1990, 1991, 1992 by Xerox Corporation.  All rights reserved.
-- David Nichols, June 7, 1990 4:17 pm PDT
-- Willie-s, July 10, 1992 2:11 pm PDT
-- Foote, October 9, 1992 11:51 am PDT

-- These are files that belong in /project/cedar10.1.0/bin, but are owned
-- by other df files.  Note that this DF files does *not* control itself.

-- Exports Imports [Cedar10.1]<Top>CedarFromUnix.df Of ~=

-- Exports Imports [Cedar10.1]<Top>CedarNews.df Of ~=
  -- Using [CedarNews]

Exports Imports [Cedar10.1]<Top>CedarRPCGen.df Of ~=
   Using [sun4>cedarrpcgen]

Exports Imports [Cedar10.1]<Top>GenerateCedarScript.df Of ~=

Exports Imports [Cedar10.1]<Top>ToolsWorld.df Of ~=
   Using [ToolsWorld]

-- Exports Imports [Cedar10.1]<Top>PrintingWorld.df Of ~=
  -- Using [PressToInterpress, PrintingWorld, PrintTioga, TiogaToInterpress, TiogaToText, TiogaToCRText]

Exports Imports [Cedar10.1]<Top>PackagedWorlds.df Of ~=
   Using [BasicViewersWorld, CommanderWorld, RawViewersWorld, RemoteViewersHostWorld, X11ViewersWorld]

Exports Imports [Cedar10.1]<Top>HomeComputing.df Of ~=
   Using [trickleChargeWorld.csh]