In-reply-to: David C. Plummer <DCP@QUABBIN.SCRC.Symbolics.COM>'s message of Thu, 4 Sep 86 10:37 EDT
If multiple doc strings are allowed, what does parse-body
(if we ever decide on what that should be and do) return?
A single string or a list of such, so that these are distinguished.
-- danny