Alpine/CoordinatorExtras.mesa
Extra definitions which should be merged with Coordinator.mesa some time.
Right now these definitions are just used to hold the RName of the user calling Alpine.
Last Edited by: Kupfer, June 29, 1984 10:07:36 am PDT
DIRECTORY
RPC USING [Principal]
;
CoordinatorExtras:
CEDAR
DEFINITIONS =
BEGIN
Info: TYPE = RECORD [userRName: RPC.Principal];
END.