Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!edcastle!aiai!jeff
From: jeff@aiai.ed.ac.uk (Jeff Dalton)
Newsgroups: comp.lang.lisp
Subject: Re: Porting AKCL to a Sequent symmetry S27
Message-ID: <2577@skye.ed.ac.uk>
Date: 25 May 90 18:31:54 GMT
References: <1990May24.195449.15510@king.mcs.drexel.edu>
Reply-To: jeff@aiai.UUCP (Jeff Dalton)
Organization: AIAI, University of Edinburgh, Scotland
Lines: 10

In article <1990May24.195449.15510@king.mcs.drexel.edu> jsmith@king.mcs.drexel.edu (Justin Smith) writes:

>I am trying to port Austin Kyoto Common Lisp to the Sequent Symmetry ...

I have ported the usual June 1987 KCL (rather than AKCL) to the
Symmetry.  I can provide a context diff.

Jeff Dalton,                      JANET: J.Dalton@uk.ac.ed             
AI Applications Institute,        ARPA:  J.Dalton%uk.ac.ed@nsfnet-relay.ac.uk
Edinburgh University.             UUCP:  ...!ukc!ed.ac.uk!J.Dalton