(FILECREATED "29-Dec-84 12:10:12" {ERIS}<LISPCORE>DIG>PRINT7PATCH.;1
 502    

      changes to:  (VARS PRINT7PATCHCOMS))


(* Copyright (c) 1984 by Xerox Corporation. All rights reserved.)

(PRETTYCOMPRINT PRINT7PATCHCOMS)

(RPAQQ PRINT7PATCHCOMS
 ((VARS (CHARACTERCODEVERSION (QUOTE XC82-0-0))
			      (INTERPRESSVERSION "1.0"))))

(RPAQQ CHARACTERCODEVERSION
 XC82-0-0)

(RPAQ INTERPRESSVERSION
 "1.0")
(PUTPROPS PRINT7PATCH COPYRIGHT ("Xerox Corporation" 1984))
(DECLARE: DONTCOPY
  (FILEMAP (NIL)))
STOP