Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Thu, 21 Apr 1994 01:22:43 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA26398;
          Wed, 20 Apr 1994 17:59:17 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA26394;
          Wed, 20 Apr 1994 17:59:16 -0600
Received: from elysium.cs.ucdavis.edu by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.8/16.2) id AA22002;
          Wed, 20 Apr 1994 16:59:22 -0700
Received: from localhost.cs.ucdavis.edu 
          by elysium.cs.ucdavis.edu (5.65/UCD.CS.2.5) id AA28531;
          Wed, 20 Apr 1994 16:59:19 -0700
Message-Id: <9404202359.AA28531@elysium.cs.ucdavis.edu>
To: info-hol@cs.uidaho.edu
Subject: Allegro vs Lucid
Date: Wed, 20 Apr 94 16:59:18 -0700
From: benson@cs.ucdavis.edu
X-Mts: smtp



I am trying to decide between Allegro Common Lisp or Lucid Common Lisp.
The primary use for the choosen Common Lisp is to build and use HOL.
Does anyone have advice on which one I should get?

Thanks

Greg