From mjcg%cam.sri.com@ai.sri.com  Sun Apr 15 02:40:22 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA02322; Sun, 15 Apr 90 02:40:22 PDT
Received: from Warbucks.AI.SRI.COM by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA05622; Sun, 15 Apr 90 02:44:47 PDT
Received: from Sunset.AI.SRI.COM by Warbucks.AI.SRI.COM with INTERNET ;
          Sun, 15 Apr 90 02:40:38 PDT
Received: from cam.sri.com by Sunset.AI.SRI.COM (4.1/4.16)
        id AA05047 for info-hol@clover.ucdavis.edu; Sun, 15 Apr 90 02:43:08 PDT
Received: from chepstow.cam.sri.com by cam.sri.com (4.1/4.16)
        id AA27641 for info-hol@clover.ucdavis.edu; Sun, 15 Apr 90 10:40:52 BST
Received: by chepstow.cam.sri.com (4.1/4.16)
        id AA03292 for info-hol@clover.ucdavis.edu; Sun, 15 Apr 90 10:40:48 BST
Date: Sun, 15 Apr 90 10:40:48 BST
From: mjcg%cam.sri.com@Warbucks.AI.SRI.COM (Mike Gordon)
Message-Id: <9004150940.AA03292@chepstow.cam.sri.com>
To: info-hol@clover.ucdavis.edu
In-Reply-To: Phil Windley's message of Sat, 14 Apr 90 14:46:49 -0800 <9004142146.AA07612@cheetah.ucdavis.edu>
Subject: HOL Error Interpretations


We will plan to include the list of error message explanations
gathered by Phil Windley in the second edition of the documentation.
The contract for this is now in place (though the work has not yet
actually started). It should also be possible to have the system
access these explanations and generate them when requested (e.g. if a
flag `explain-errors` is set).

Mike


