<> <> DIRECTORY Rope USING [ROPE]; DefaultRemoteNames: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; DefaultNames: TYPE = REF DefaultNamesRep; DefaultNamesRep: TYPE = RECORD [ systemHost: ROPE, -- host name, including brackets, as in "[Indigo]" userHost: ROPE, -- host name for users, including brackets, as in "[Ivy]" current: ROPE, -- system root directory, including host, as in "[Indigo]" previous: ROPE -- root directory of last release, as in "[Indigo]" ]; Get: PROC RETURNS [DefaultNames]; <> Set: PROC [new: DefaultNames]; <> END.