Received: from scaup.cl.cam.ac.uk by Steve.CL.Cam.AC.UK
          with SMTP/TCP/IP over Ethernet id a005841; 8 Dec 88 17:40 GMT
Via:  uk.ac.ucl.cs.nss; 8 Dec 88 17:36 GMT  (UK.AC.Cam.Cl.scaup)
Received: from clover.ucdavis.edu by NSS.Cs.Ucl.AC.UK   via Satnet with SMTP
           id aa05885; 8 Dec 88 17:08 GMT
Received: from Sierra.Stanford.EDU by clover.ucdavis.edu (5.59/UCD.EECS.1.1)
        id AA03716; Thu, 8 Dec 88 09:08:36 PST
Received: from tina.stanford.edu by sierra.STANFORD.EDU (3.2/4.7); Thu, 8 Dec 88 09:05:28 PST
Received: by tina.stanford.edu (3.2/SMI-3.2)
        id AA05268; Thu, 8 Dec 88 09:03:57 PST
Date: Thu, 8 Dec 88 09:03:57 PST
From: "Paul N. Loewenstein" <paul@edu.ucdavis.tina>
Message-Id: <8812081703.AA05268@tina.stanford.edu>
To: info-hol@edu.ucdavis.clover
In-Reply-To: Mike Gordon's message of Wed, 7 Dec 88 12:01 GMT <mjcg.88.12.07.12:01.380@gwyndir>
Subject: Forwarding: Re: Forwarding: HOL in Common Lisp
Sender: paul <paul%edu.ucdavis.tina@edu.ucdavis.clover>
Status: RO


Dear Mike,

I think it would be wise to try to support both a good commercial CL and a
freeware version. There are lots of likely users who would be put off
initially by having to pay a licence fee. If they get hooked and want more
performance, then they know what they are paying for.

          Paul.