-- Copyright (C) 1982  by Xerox Corporation. All rights reserved. 
-- PupTimeServer.Mesa, HGM,  1-Mar-82 20:16:57

PupTimeServer: DEFINITIONS =
  BEGIN

  PupTimeServerOn: PROCEDURE;
  PupTimeServerOff: PROCEDURE;
  
  GetAltoTimeRequests: PROCEDURE RETURNS [LONG CARDINAL];
  GetTenexTimeRequests: PROCEDURE RETURNS [LONG CARDINAL];
  GetTextTimeRequests: PROCEDURE RETURNS [LONG CARDINAL];
  
  END.