YggLockImpls.config
Copyright Ó 1984, 1985, 1988 by Xerox Corporation. All rights reserved.
Last edited by
MBrown on January 30, 1984 5:44:34 pm PST
Kupfer, February 14, 1985 5:55:14 pm PST
Bob Hagmann May 12, 1988 7:59:13 am PDT
YggLockImpls:
CONFIG
IMPORTS
BasicTime, List, YggDID, YggDIDMap, YggDummyProcess, Rope, YggMonitoringHooks, YggMonitoringLog, YggFileLock, YggTransactionMap
EXPORTS
ALL
CONTROL
YggLockCoreImpl,
YggLockWatchdogImpl
=
BEGIN
YggLockCoreImpl;
YggLockWatchdogImpl;
END.