Date: Mon, 21 Jul 1986 21:46 EDT From: "Scott E. Fahlman" <Fahlman@C.CS.CMU.EDU> Proposal #5: PARSE-BODY ....PARSE-BODY may perform macro-expansion (using the given environment) in order to determine whether an initial macro-call expands into a DECLARE form or documentation string. Since when can macros expand into documentation strings?