// CedarBootUmbrella.df 

// last edit by Levin, December 17, 1982 4:39 pm
// last edit by McGregor, October 11, 1982 2:38 pm
// last edit by Paul Rovner, April 12, 1983 9:19 pm

-- Modified by Doug Wyatt to make customized Cedar boot files for ISL
-- Last edit by Doug Wyatt, June 26, 1983 4:22 pm

-- * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
-- The organizing principle of this DF is that it mentions everything that must be altered
-- when the time-stamp in Cedar.version is changed.
-- * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *


Directory [Indigo]<ISLCedar>Top>     CameFrom [Indigo]<PreISLCedar>Top>

  CedarBootUmbrella.df                      16-Sep-83 17:44:44 PDT

Include [Indigo]<ISLCedar>Top>CedarRoot.df!1  Of 16-Sep-83 17:44:49 PDT 
    CameFrom [Indigo]<PreISLCedar>Top>

--  Note:  The following Imports CedarRoot.df

Include [Indigo]<ISLCedar>Top>CedarMaker.df!1  Of 16-Sep-83 17:44:48 PDT 
    CameFrom [Indigo]<PreISLCedar>Top>

-- * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
--   Client .df files 
-- * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *

-- See comments in CedarMakeBoot.cm (from CedarMaker.df) that identify all places
-- that must be altered when Cedar.version changes.  Note that, to avoid warnings
-- during SModel, Cedar.version must precede the DF files that reference it, namely
-- CedarClient and CedarDebugger.

Directory [Indigo]<ISLCedar>Top>     CameFrom [Indigo]<PreISLCedar>Top>

  Cedar.Version!1                           15-Sep-83 11:04:08 PDT

Include [Indigo]<ISLCedar>Top>CedarClientFat.df!1  Of 16-Sep-83 17:44:46 PDT 
    CameFrom [Indigo]<PreISLCedar>Top>

Include [Indigo]<ISLCedar>Top>CedarClient.df!1  Of 16-Sep-83 17:44:45 PDT 
    CameFrom [Indigo]<PreISLCedar>Top>

Include [Indigo]<ISLCedar>Top>CedarDebugger.df!1  Of 16-Sep-83 17:44:47 PDT 
    CameFrom [Indigo]<PreISLCedar>Top>

Include [Indigo]<ISLCedar>Top>BasicCedarDebugger.df!1  Of 16-Sep-83 17:44:40 PDT 
    CameFrom [Indigo]<PreISLCedar>Top>

Include [Indigo]<ISLCedar>Top>CedarBootEssentials.df!1  Of 16-Sep-83 17:44:43 PDT 
    CameFrom [Indigo]<PreISLCedar>Top>

Include [Indigo]<ISLCedar>Top>BasicCedarUser.df!1  Of 16-Sep-83 17:44:41 PDT 
    CameFrom [Indigo]<PreISLCedar>Top>