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); Mon, 4 Jan 1993 17:03:12 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA20628;
          Mon, 4 Jan 93 08:51:09 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA20623;
          Mon, 4 Jan 93 08:50:57 -0800
Received: from heron.cl.cam.ac.uk (user ww (rfc931)) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4) to cl; Mon, 4 Jan 1993 16:49:42 +0000
To: gavan@za.ac.uct.mth.elc (Gavan Tredoux)
Cc: info-hol@edu.uidaho.cs.ted, Wai.Wong@uk.ac.cam.cl
Subject: Re: latex-hol problem
In-Reply-To: Your message of Mon, 04 Jan 93 17:12:55 +0700. <9301041512.AA09726@elc.mth.uct.ac.za>
Date: Mon, 04 Jan 93 16:49:30 +0000
From: Wai Wong <Wai.Wong@uk.ac.cam.cl>
Message-Id: <"swan.cl.ca.775:04.01.93.16.49.55"@cl.cam.ac.uk>

Hi, Gavan,

	I've just tried the same thing as shown in your transcript
on our SPARC. It sems running OK. I don't quite understand what
caused the LISP error messages.  What I can suggest is to load the
library without loading your hol-init.ml file. There may be
something in that file interacting with the library to cause the
problem. Another suggestion is to make sure the libraries are
compiled properly (when the system was built).

	Anyone who knows more about AKCL please help and give some
cue on the error messages.

Wai