RemoteFingerOps.mesa
Carl Hauser, September 12, 1986 3:05:03 pm PDT
DIRECTORY
FingerLog;
RemoteFingerOps:
CEDAR
DEFINITIONS
~
BEGIN
OPEN FingerLog;
PlayLogProc:
TYPE = PROC [items:
LIST
OF LogEntry]
RETURNS [success:
BOOLEAN];
PlayLog: PlayLogProc;
END.