Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0)
          id <03288-0@swan.cl.cam.ac.uk>; Thu, 23 Jan 1992 00:31:30 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA25014;
          Wed, 22 Jan 92 16:14:57 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA25010;
          Wed, 22 Jan 92 16:14:37 -0800
Received: from LocalHost.cs.ucla.edu
          by maui.cs.ucla.edu (Sendmail 5.61b+YP/3.13) id AA28722;
          Wed, 22 Jan 92 16:16:43 -0800
Message-Id: <9201230016.AA28722@maui.cs.ucla.edu>
To: info-hol@edu.uidaho.cs.ted
Cc: chou@edu.ucla.cs
Subject: AKCL-1-599 -> AKCL-1-605
Date: Wed, 22 Jan 92 16:16:41 PST
From: chou@edu.ucla.cs

What portion of the HOL directory needs to be re-built when switching
from AKCL-1-599 to AKCL-1-605?  I know that the HOL image has to be
re-built.  How about the [.ml].o and .th files?

- Ching Tsun