Alpine/CoordinatorExtras.mesa
Copyright © 1985 by Xerox Corporation. All rights reserved.
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:
Hauser, March 7, 1985 2:35:59 pm PST
Kupfer, June 29, 1984 10:07:36 am PDT
DIRECTORY
RPC USING [Principal]
;
CoordinatorExtras:
CEDAR
DEFINITIONS =
BEGIN
Info: TYPE = RECORD [userRName: RPC.Principal];
END.
Hauser, March 7, 1985 2:35:39 pm PST
Added copyright.