STPPackage.config
Andrew Birrell June 2, 1983 12:00 pm
STPPackage:
CONFIGURATION
IMPORTS BasicTime,
IO, PupStream, Rope
EXPORTS
ALL =
BEGIN
STPsA;
STPsB;
STPsC;
STPsD;
END.