From ploegaer@imec.be  Tue Feb 20 09:18:46 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA02612; Tue, 20 Feb 90 09:18:46 PST
Received: from [192.16.202.1] by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA21999; Mon, 19 Feb 90 06:43:28 PST
Received: by mcsun.EU.net via EUnet; Mon, 19 Feb 90 15:39:45 +0100 (MET)
Received: from imec.be by prlbcom.prlb.philips.be (4.0/4.7)
        id AA05568; Mon, 19 Feb 90 11:26:44 +0100
Received: by imec.be Sun, 18 Feb 90 20:41:19 +0100
Date: Sun, 18 Feb 90 20:35:42 +0100
From: Wim Ploegaerts <ploegaer@imec.be>
Message-Id: <9002181935.AA05763@chaos.imec.be>
Received: by chaos.imec.be Sun, 18 Feb 90 20:35:42 +0100
To: info-hol@clover.ucdavis.edu
Subject: Allegro Common Lisp on DEC 3100


Hello!

  Is there anyone out there who compiled HOL on a DECstation 3100 using
  Allegro Common Lisp 3.1.Beta? Could it be possible to get the parameters
  for speed/safety/space/garbage collection/configuration parameters for old
  space and newspace you used? Did you have to change any source-code before
  HOL compiled?


                                   Thanks,

                                   Wim Ploegaerts (ploegaer@imec.be)


