(FILECREATED "28-Apr-86 17:35:12" {ERIS}<LISPCORE>LIBRARY>CMLDOC.;2 1925         changes to:  (FNS PROP-NAME-FROM-DOC-TYPE DOCUMENTATION SET-DOCUMENTATION)                   (VARS CMLDOCCOMS)                   (PROPS (DOCUMENTATION SETFN))      previous date: "28-Apr-86 17:18:05" {ERIS}<LISPCORE>LIBRARY>CMLDOC.;1)(* Copyright (c) 1986 by Xerox Corporation. All rights reserved.)(PRETTYCOMPRINT CMLDOCCOMS)(RPAQQ CMLDOCCOMS ((FNS DOCUMENTATION PROP-NAME-FROM-DOC-TYPE SET-DOCUMENTATION)                   (P (DEFSETF DOCUMENTATION SET-DOCUMENTATION))))(DEFINEQ(DOCUMENTATION  (CL:LAMBDA (SYMBOL DOC-TYPE)                               (* "Pavel" "28-Apr-86 16:55")    (GET SYMBOL (PROP-NAME-FROM-DOC-TYPE DOCTYPE))))(PROP-NAME-FROM-DOC-TYPE  [CL:LAMBDA (DOC-TYPE)                                      (* "Pavel" "28-Apr-86 17:34")                                                             (* "Should be this:"                                                             (INTERN (CONCATENATE                                                             (QUOTE STRING) "DOCUMENTATION-STRING-"                                                             (SYMBOL-NAME DOC-TYPE))                                                             (FIND-PACKAGE (QUOTE LISP)))                                                              "but ``intern'' is not yet defined.")    (MAKE-SYMBOL (CONCATENATE (QUOTE STRING)                        "DOCUMENTATION-STRING-"                        (SYMBOL-NAME DOC-TYPE])(SET-DOCUMENTATION  (CL:LAMBDA (SYMBOL DOC-TYPE NEW-STRING)                    (* "Pavel" "28-Apr-86 17:15")    (SETF (GET SYMBOL (PROP-NAME-FROM-DOC-TYPE DOC-TYPE))          NEW-STRING))))(DEFSETF DOCUMENTATION SET-DOCUMENTATION)(PUTPROPS CMLDOC COPYRIGHT ("Xerox Corporation" 1986))(DECLARE: DONTCOPY  (FILEMAP (NIL (578 1806 (DOCUMENTATION 588 . 762) (PROP-NAME-FROM-DOC-TYPE 764 . 1595) (SET-DOCUMENTATION 1597 . 1804)))))STOP