Кто-нибудь пытался собрать Theorem Proving System, которая написана на CL?
CMUCL пишет такую ерунду:
(EXPORT (P HELP S OK R ...) <br>
#<The CORE package, 7/21 internal, 7/9 external>)
Source: Error finding source:
Error in function DEBUG::GET-FILE-TOP-LEVEL-FORM:
Source file no longer exists:
target:code/package.lisp.
