From @IU.AI.SRI.COM,@sunset.ai.sri.com:mjcg%uk.ac.cam.cl.heron@NSS.Cs.Ucl.AC.UK  Mon Jan 15 18:28:39 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA16475; Mon, 15 Jan 90 18:28:39 PST
Received: from iris.ucdavis.edu by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA02677; Mon, 15 Jan 90 18:33:33 PST
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA16470; Mon, 15 Jan 90 18:28:30 PST
Received: from sunset.ai.sri.com by IU.AI.SRI.COM via SMTP with TCP;
          Mon, 15 Jan 90 17:20:15-PST
Received: from cam.sri.com by sunset.ai.sri.com (4.0/4.16) id AA09199
          for info-hol@clover.ucdavis.edu; Mon, 15 Jan 90 17:20:11 PST
Received: from uk.ac.cam.cl.scaup (scaup) by cam.sri.com (4.0/4.16) id
          AA08920 for info-hol@clover.ucdavis.edu; Sat, 13 Jan 90 17:15:58 GMT
Received: from heron.cl.cam.ac.uk by gnnt.Cl.Cam.AC.UK id aa29892; 13
          Jan 90 16:53 GMT
Received: by uk.ac.cam.cl.heron (4.0/SMI-3.0DEV3) id AA03689; Sat,
          13 Jan 90 16:53:43 GMT
Date: Sat, 13 Jan 90 16:53:43 GMT
From: mjcg%uk.ac.cam.cl@NSS.Cs.Ucl.AC.UK
Message-Id: <9001131653.AA03689@uk.ac.cam.cl.heron>
To: info-hol <info-hol%edu.ucdavis.clover%cam.sri.com@ai.sri.com>


Date: Sat, 13 Jan 90 12:22:37 GMT
From: jac@uk.ac.cam.cl
To: mjcg@uk.ac.cam.cl
Subject: Apple Macintosh prices to run HOL

Here is the handout to go onto the HOL bulletin board.

John


Apple Macintosh Configurations to run HOL
-----------------------------------------

Below are some sample configurations (from cheapest to most expensive). Prices
are in UK pounds sterling (excluding VAT) with educational discounts. Add
approximately 25% to get an indication of non-academic prices.

1.      Macintosh SE/30 system, 40 MB disc, 4 MB memory   2304
        4 MB memory upgrade                                350
        Procyon Common Lisp Personal system                350
                                                          ----
                                                          3004

2.      Macintosh IIcx, 80 MB disc, 4 MB memory           3304
        4 MB memory upgrade                                350
        Apple portrait A4 monochrome display               548
        Apple portrait video card                          296
        Standard keyboard                                   71
        Procyon Common Lisp Personal system                350
                                                          ----
                                                          4919

3.      Macintosh IIci, 80 MB disc, 4 MB memory           3795
        4 MB 80nsec memory upgrade                         400
        Apple two-page A3 monochrome display              1046
        Apple two-page video card                          296
        Standard keyboard                                   71
        Procyon Common Lisp Personal system                350
                                                          ----
                                                          5958

The price for memory is the sort of price you can get direct from a dealer
-- official Apple memory costs quite a lot more.

Apple themselves market a version of Common Lisp for the Macintosh. It is
slower (by about 50%) than Procyon Common Lisp, and so is not really
recommended for running HOL. Procyon Common Lisp is available from:

Procyon Research Ltd.
St. John's Innovation Centre
Cowley Road
Cambridge CB4 4WS, UK    (+44 223 421221)


