Return-Path: Delivery-Date: Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 10 Sep 1993 14:31:36 +0100 Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA27134; Fri, 10 Sep 93 06:19:51 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from HILLY.HARLEQUIN.COM by dworshak.cs.uidaho.edu with SMTP (1.37.109.4/16.2) id AA27130; Fri, 10 Sep 93 06:19:47 -0700 Received: from epcot.harlequin.com by hilly.harlequin.com; Fri, 10 Sep 1993 09:22:47 -0400 Received: from gauss.harlequin.com (gauss) by epcot.harlequin.com; Fri, 10 Sep 1993 09:23:54 -0400 Date: Fri, 10 Sep 1993 08:56:45 +005 (EDT) From: Randy Zeitvogel Subject: To: leonard@ricks.enet.dec.com Cc: info-hol@cs.uidaho.edu, Louis Finelli , Mike Western Message-Id: Mime-Version: 1.0 Content-Type: TEXT/PLAIN; CHARSET=US-ASCII >From: "Tim Leonard, DTN 225-5809, HLO2-3/C11" >Sender: info-hol-request@cs.uidaho.edu >To: info-hol@cs.uidaho.edu >Apparently-To: info-hol@cs.uidaho.edu >Subject: Re: HOL on DEC machines >Date: Thu, 9 Sep 93 11:39:50 EDT > >> is anybody using any kind of HOL system on a DEC machine? What are the >> principal difficulties in installing HOL on DEC (lack of a suitable ML >> compiler, all compilers being very expensive -?). > >Like Phil, I'm running HOL88 on a DECstation using Lucid Common Lisp. There >are several kinds of machines from Digital, and you need to know which ones >will be available (and several operating systems --- you need Ultrix). The >main >choices of architecture are: > > VAX (and VAXstation) --- should run HOL88 > DECstation --- does run HOL88 (use Lucid Common Lisp) > Alpha AXP --- I don't know of a working Lisp for Alpha yet I am pleased to inform you that Harlequin announced LispWorks for the DEC Alpha at AAAI in Washington DC this year. Let me take the opportunity to describe our product: LispWorks is a highly integrated development environment based on a full implementation of CLtL2. It includes CLOS and MOP, an integrated EMACS editor that supports compilation, tracing, evaluation from within the editor, foreign function interfaces to C, C++ and FORTRAN, access to SQL databases, Common Prolog, CAPI (Common API which abstracts the low level toolkit from the application making the interface portable across platforms), and an interface builder. We also provide solutions for delivery both on UNIX platforms and PCs. If you have any further questions please feel free to contact: If you are East of the Mississippi river: Lou Finelli Phone (617) 252-0052 FAX (617) 252-6505 e-mail: lou@harlequin.com If you are West of the Mississippi river: Mike Western Phone (206) 488-1439 FAX (206) 488-2592 e-mail: western@harlequin.com or me... +-----------------------------------------------------+ | Randy Zeitvogel rkz@harlequin.com | | Technical Marketing Phone: (617) 252-0052 | | Harlequin, Inc. FAX: (617) 252-6505 | | 1 Cambridge Center | | Cambridge, MA 02142 | +-----------------------------------------------------+