-- UserCredentialsImpl.config
-- last edited by Levin on October 29, 1982 5:00 pm

UserCredentialsImpl: CONFIGURATION
  IMPORTS
  -- Pilot --
  Heap, DiskChannel, Inline, Process, Space, SpecialSpace, Transaction,
  -- BasicHeads --
  DESFace, ProcessorFace,
  -- CedarRoot --
  ConvertUnsafe, LongString, NameInfoDefs, Rope, SpecialTerminal 

  EXPORTS UserCredentials, UserCredentialsUnsafe =

BEGIN

UserCredentialsVeneer;
UserCredentialsUnsafeImpl;

END.