Received: from scaup.cl.cam.ac.uk by Steve.CL.Cam.AC.UK
          with SMTP/TCP/IP over Ethernet id a021172; 7 Dec 88 12:35 GMT
Via:  uk.ac.ucl.cs.nss; 7 Dec 88 12:27 GMT  (UK.AC.Cam.Cl.scaup)
Received: from clover.ucdavis.edu by NSS.Cs.Ucl.AC.UK   via Satnet with SMTP
           id aa04388; 7 Dec 88 12:13 GMT
Received: from IU.AI.SRI.COM by clover.ucdavis.edu (5.59/UCD.EECS.1.1)
        id AA28967; Wed, 7 Dec 88 04:16:34 PST
Received: from drakes.ai.sri.com by IU.AI.SRI.COM via SMTP with TCP;
          Wed, 7 Dec 88 04:15:03-PST
Received: from cam.sri.com (cambridge) by drakes.ai.sri.com (3.2/4.16)
          id AA02284 for info-hol@clover.ucdavis.edu; Wed, 7 Dec 88 04:14:56 PST
Received: from gwyndir.cam.sri.com by cam.sri.com (3.2/4.16) id AA09414
          for info-hol@clover.ucdavis.edu; Wed, 7 Dec 88 12:03:15 GMT
Received: by gwyndir.cam.sri.com (3.2/4.16) id AA02160 for
          info-hol@clover.ucdavis.edu; Wed, 7 Dec 88 12:03:12 GMT
Date: Wed, 7 Dec 88 12:01 GMT
From: Mike Gordon <mjcg%uk.co.sri@com.sri.ai.warbucks>
To: info-hol@edu.ucdavis.clover
Subject: Forwarding: Re: Forwarding: HOL in Common Lisp
Message-Id: <mjcg.88.12.07.12:01.380@gwyndir>
Sender: mjcg <mjcg%uk.co.sri%com.sri.ai.warbucks%com.sri.ai.drakes%com.sri.ai.iu@edu.ucdavis.clover>
Status: RO

Here is what our SUN support manager (Graham Titmus) says:

Mike


-------------- forwarded message ---------------
> Received: from uk.ac.cam.cl.scaup by cam.sri.com (3.2/4.16)
>       id AA09401 for mjcg; Wed, 7 Dec 88 11:57:27 GMT
> Received: from holden.cl.cam.ac.uk by scaup.Cl.Cam.AC.UK id aa08869;
>           7 Dec 88 11:55 GMT
> Received: from BrightonBelle by uk.ac.cam.cl.holden with XGate;  7-Dec-88 11:56:21 GMT
> Date:        7 Dec 88 11:53:01 GMT (Wednesday)
> To: mjcg@sri-cam
> Cc: gt%uk.ac.cam.cl@cl.cam.ac.uk
> From: gt <gt@cl.cam.ac.uk>
> Subject:    Re: Forwarding: HOL in Common Lisp
> In-Reply-To: XGate's message of 7 Dec 88 11:43:47 GMT (Wednesday)
> Message-Id: <43520-30280-502605662-holden@uk.ac.cam.cl>


I would vote no to Kyoto -- it is too slow.  Franz Allegro CL is probably the
best.  They port it to most machines (alll those mentioned) and it runs much
faster that Kyoto.  KCL is not really supported or bewing developed apart from
the KCL community.  Go for a product not a hack if HOL is a serious tool being
used by a lot of people around the world.

---------- end of forwarded message ------------