// 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, June 22, 1983 11:40 am

-- * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
-- 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]<Cedar>Top>     CameFrom [Indigo]<PreCedar>Top>

  CedarBootUmbrella.df                      20-Jul-83 20:46:03 PDT

Include [Indigo]<Cedar>Top>CedarRoot.df!9  Of 20-Jul-83 20:46:08 PDT 
    CameFrom [Indigo]<PreCedar>Top>

--  Note:  The following Imports CedarRoot.df

Include [Indigo]<Cedar>Top>CedarMaker.df!14  Of 20-Jul-83 20:46:07 PDT 
    CameFrom [Indigo]<PreCedar>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]<Cedar>Top>     CameFrom [Indigo]<PreCedar>Top>

  Cedar.Version!17                          15-Jul-83 12:55:27 PDT

Include [Indigo]<Cedar>Top>CedarClientFat.df!28  Of 20-Jul-83 20:46:05 PDT 
    CameFrom [Indigo]<PreCedar>Top>

Include [Indigo]<Cedar>Top>CedarClient.df!28  Of 20-Jul-83 20:46:04 PDT 
    CameFrom [Indigo]<PreCedar>Top>

Include [Indigo]<Cedar>Top>CedarDebugger.df!14  Of 20-Jul-83 20:46:06 PDT 
    CameFrom [Indigo]<PreCedar>Top>

Include [Indigo]<Cedar>Top>BasicCedarDebugger.df!12  Of 20-Jul-83 20:45:58 PDT 
    CameFrom [Indigo]<PreCedar>Top>

Include [Indigo]<Cedar>Top>CedarBootEssentials.df!21  Of 20-Jul-83 20:46:02 PDT 
    CameFrom [Indigo]<PreCedar>Top>

Include [Indigo]<Cedar>Top>BasicCedarUser.df!12  Of 20-Jul-83 20:45:59 PDT 
    CameFrom [Indigo]<PreCedar>Top>