-- STPServer.config, last edited by:
--  Johnsson,	 4-Jan-82 16:33:57
--  Schmidt, 	 4-Apr-82 14:58:09

STPServer: CONFIG LINKS: CODE
  IMPORTS Directory, FileStream, Format, HeapString, PupStream, Segments, Storage, STP,
  	STPOps, Stream, Streams, Time, TTY
  CONTROL STPsF = {

  STPsF;
    
  }.