Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site topaz.ARPA
Path: utzoo!watmath!clyde!cbosgd!cbdkc1!desoto!packard!topaz!hedrick
From: hedrick@topaz.ARPA (Chuck Hedrick)
Newsgroups: net.lang.lisp,net.wanted,net.ai,net.micro
Subject: Re: HELP: Can anyone send me the FORMAL definittion of common lisp?!
Message-ID: <647@topaz.ARPA>
Date: Thu, 14-Feb-85 23:23:58 EST
Article-I.D.: topaz.647
Posted: Thu Feb 14 23:23:58 1985
Date-Received: Fri, 15-Feb-85 06:15:17 EST
References: <2749@dartvax.UUCP>
Organization: Rutgers Univ., New Brunswick, N.J.
Lines: 10
Xref: watmath net.lang.lisp:319 net.wanted:5796 net.ai:2530 net.micro:9382

> 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.