[net.ai] HELP: Can anyone send me the FORMAL definittion of common lisp?!

tdxsys@dartvax.UUCP (TDX sys Mark Mullen) (02/09/85)

I desperatly need the formal definition for COMMON LISP, as defined in the
SECOND edition of LISP, by Winston & Horn.  I need to know all of the
functions in the standard, in order to upgrade an interpreter that
currently operates using the subset of MACLISP used in the first edition!!!
                TIA

mark mullin @ ozone layer
        POB 2545/Manassas/VA/22110
        !decvax!dartvax!tdxsys
        (703) 790-5300 x442     (until Feb 22)

The meek SHALL inherit the earth, but not until the strong are done with
it, by which time it won't be worth much anyway!!!

hedrick@topaz.ARPA (Chuck Hedrick) (02/15/85)

> I desperatly need the formal definition for COMMON LISP

Common Lisp is defined in the Common Lisp reference manual, which is
edited by Guy Steele and published by Digital Press.  That's as formal
as you are going to get.  You suggest that you may try to implement
it yourself by defining a few functions in your existing Lisp.
Common Lisp is immense, and has some features that can't be implemented
that way in any case.  If your system is a VAX (as sugguested by your
host name), you might be intrestedd to know that the purveyors of Franz
Lisp are updating Franz to be reasonably compatible with Common Lisp.