Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4); Wed, 6 Jan 1993 13:49:40 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA04120;
          Wed, 6 Jan 93 05:36:51 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from Ucthpx.UCT.AC.ZA by ted.cs.uidaho.edu (16.6/1.34) id AA04115;
          Wed, 6 Jan 93 05:36:37 -0800
Received: by ucthpx.uct.ac.za (/\==/\ Smail3.1.24.1 #24.2) id m0n9aur-000NyvC;
          Wed, 6 Jan 93 15:35 SAST
Received: by elc.mth.uct.ac.za (4.1/SMI-4.1) id AA00538;
          Wed, 6 Jan 93 15:36:07+020
From: gavan@za.ac.uct.mth.elc (Gavan Tredoux)
Message-Id: <9301061336.AA00538@elc.mth.uct.ac.za>
Subject: Re: latex-hol problem
To: info-hol@edu.uidaho.cs.ted (Info-hol mailing list)
Date: Wed, 6 Jan 93 15:36:06 EET
X-Mailer: ELM [version 2.3 PL11]

Thanks Wai and others who responded

Rebuilding the libraries seems to have solved the problem,
although this doesn't explain why it existed in the first
place -- all of the libraries were rebuilt when 2.01 was
built, (unless some problem exists in the makefiles). 
Doing a `make all' reported all libraries rebuilt. 
A `make clobber' followed by a `make all' to rebuild prettyp
and latex-hol, and pronto, problem disappears. All of the other
libraries have worked fine.

Nor does this explain why the entire system could
freeze up by loading a library. Is this to be expected?
Would loading (incompatible) compiled ML code have unpredicable
effects?

Gavan Tredoux
FACCS Lab
Dept Math
UCT