[cctalk] LispM/Symbolics manuals