Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Tue, 17 May 1994 12:04:16 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA07567; Tue, 17 May 1994 04:47:53 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from lorraine.loria.fr by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA07563; Tue, 17 May 1994 04:47:46 -0600 Received: from myrtille.loria.fr (myrtille.loria.fr [152.81.6.12]) by lorraine.loria.fr (8.6.9/8.6.9) with ESMTP id MAA26614 for ; Tue, 17 May 1994 12:47:38 +0200 From: Otmane Ait Mohamed Received: from localhost (amohamed@localhost) by myrtille.loria.fr (8.6.4/8.6.4) id MAA16662 for info-hol@leopard.cs.byu.edu; Tue, 17 May 1994 12:47:52 +0200 Message-Id: <199405171047.MAA16662@myrtille.loria.fr> Subject: HOL under HP 9000/750 To: info-hol@leopard.cs.byu.edu Date: Tue, 17 May 1994 12:47:52 +0200 (MET DST) X-Mailer: ELM [version 2.4 PL23] Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Content-Length: 795 Hi, I have been trying to install HOL88 2.02 with Lucid common Lisp on HP 9000/750. Unfortunately, the installation fail. If someone has installed HOL88 on HP 9000/750, with Lucid Common Lisp, please contact me. Thanks, --Otmane. ****************************************************************************** * Otmane AIT MOHAMED * * E.Mail : amohamed@loria.fr * * Post : CRIN-INRIA_LORRAINE * * Campus Universitaire * * Bat. LORIA. BP239 54600 Vandoeuvre-Les-Nancy France. * ******************************************************************************