-- File: Stats.config,  Last Edit: HGM January 26, 1979  1:08 PM

-- Copyright  Xerox Corporation 1979, 1980

Stats: CONFIGURATION LINKS: CODE
  IMPORTS IODefs, ProcessDefs, StringDefs, TimeDefs
  EXPORTS StatsDefs
  CONTROL StatsCold =
    BEGIN
    StatsHot;
    StatsStrings;
    StatsCold;
    StatsPrint;
    END.