From mjcg%cam.sri.com@ai.sri.com  Thu Feb 22 02:52:27 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA20385; Thu, 22 Feb 90 02:52:27 PST
Received: from Warbucks.AI.SRI.COM by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA22650; Thu, 22 Feb 90 02:56:47 PST
Received: from sunset.ai.sri.com by Warbucks.AI.SRI.COM with INTERNET ;
          Thu, 22 Feb 90 02:52:47 PST
Received: from cam.sri.com by sunset.ai.sri.com (4.1/4.16)
        id AA22356 for info-hol@clover.ucdavis.edu; Thu, 22 Feb 90 02:54:05 PST
Received: from denbigh.cam.sri.com by cam.sri.com (4.1/4.16)
        id AA05599 for info-hol@clover.ucdavis.edu; Thu, 22 Feb 90 10:53:15 GMT
Received: by denbigh.cam.sri.com (4.1/4.16)
        id AA01165 for info-hol@clover.ucdavis.edu; Thu, 22 Feb 90 10:53:11 GMT
Date: Thu, 22 Feb 90 10:53:11 GMT
From: mjcg%cam.sri.com@Warbucks.AI.SRI.COM (Mike Gordon)
Message-Id: <9002221053.AA01165@denbigh.cam.sri.com>
To: info-hol@clover.ucdavis.edu
Cc: jane%cam.sri.com@Warbucks.AI.SRI.COM,
        arnold%cam.sri.com@Warbucks.AI.SRI.COM
Subject: Getting HOL documentation


SRI have looked into the costs of the HOL documentation and decided to
raise the price of the deluxe bound version that they sell. The
details are below. The LaTeX sources are still free and available with
the sources for release 1.11 or later. The material is public domain
and can be copied freely.

New costs:

    - 75 pounds if collected personally from SRI in Cambridge.
    - 95 pounds delivered anywhere in the UK.
    - 175 pounds or $300 delivered by courier to anywhere
      they'll deliver to.
    - negotiable for other places not within range of courier.

This just covers SRI's incremental costs in producing manuals.

Use of courier may seem unnecessarily fancy, but a substantial part of the
reason is that SRI don't have a shipping department, the package is heavy,
and couriers will pick up the package from source which most other forms
of shipment won't do.

To get a copy send a purchase order to:

   Jane Gardiner
   SRI International Cambridge Research Centre
   Suite 23
   Millers Yard
   Mill Lane
   Cambridge CB2 1RQ
   UK

   Tel. +44-223-324146

It seems likely that a grant to produce a second edition will be
forthcoming.  This will be used to convert the provisional
documentation in REFERENCE to polished documentation, to improve
TUTORIAL and to generally clean up the LaTeX sources and correct
errors.

The second edition is not likely to appear until the end of the year.

Mike Gordon



