-- ToolsWorld.df
-- Copyright Ó 1992, 1993 by Xerox Corporation.  All rights reserved.
-- Willie-Sue Orr, March 31, 1992 2:40:23 pm PST
-- Willie-s, May 14, 1993 1:08 pm PDT

-- for building packaged worlds for Cedar10.1

Exports [Cedar10.1]<Top>

  ToolsWorld.df                                14-Jun-93 12:29:56 PDT

Exports [Cedar10.1]<ToolsWorld>

  ToolsWorld!1                                 09-Jun-92 14:24:39 PDT

Directory [Cedar10.1]<Commands>

  ToolsWorld.cm!1                              09-Jun-92 14:25:11 PDT

Directory [Cedar10.1]<ToolsWorld>

  BuildToolsWorld.cm!4                         11-Jun-93 16:16:31 PDT
  ToolsFileDates.cm!1                          14-May-93 13:08:12 PDT

  sun4>ToolsWorldPackage.pcroptions!1          09-Jun-92 11:39:37 PDT
  sun4>ToolsWorldPackage!12                    11-Jun-93 16:13:23 PDT
  ToolsWorldPackage.fileDates!2                11-Jun-93 16:17:00 PDT