From windley@cheetah  Sat Feb 10 13:02:23 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA21481; Sat, 10 Feb 90 13:02:23 PST
Received: from cheetah.ucdavis.edu by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA29323; Sat, 10 Feb 90 13:06:36 PST
Received: by cheetah.ucdavis.edu (AIX  2.1.2/3.14)
        id AA03667; Sat, 10 Feb 90 13:02:33 PST
Message-Id: <9002102102.AA03667@cheetah.ucdavis.edu>
To: info-hol@clover
Cc: bancroft@iris
Subject: lisps
Date: Sat, 10 Feb 90 13:02:32 -0800
From: Phil Windley <windley@cheetah>


I'm trying to build HOL using Allegro CL.  The cl-change-notes file says

7. Implementations tested:

      Procyon Common Lisp 2.1.3
      Sun Common Lisp (Lucid) 2.1.1
      Kyoto Common Lisp June 3, 1987
      Austin Kyoto Common Lisp
      Allegro Common Lisp 3.0.3 (but bug in interpreter means doesn't work)
                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

I'm getting a case sensative bug when I try and load the f-cl.fasl object
file.  Is this the bug in the interpreter that makes it so that it doesn't
work?  Does anyone have HOL working using Allegro?

Cheers,

--phil--

