Re: [isabelle] missing link in isabelle installation files
on the machine there is ubuntu 8.04 installed, we used the commandline
tool gnu tar 1.19.
other links have been created properly, like
Isabelle -> Isabelle2008.
i am not the administrator of the machine, so i cannot try to reproduce
the problem. considered that this seems to be the first time this
problem appears, i will assign it a problem of the machine.
thanks for your efforts.
On Mon, 19 Jan 2009, Benedikt.AHRENS at unice.fr wrote:
i had the error message
Unknown logic "HOL" -- no heap file found in:
the reason was a missing pointer polyml_x86-linux to the directory
polyml-<version>_x86-linux (version 5.2).
is this meant to be like that ? if yes, there should be a hint in the
INSTALL notes. if not, you might want to repair it.
I have just checked again: the link is part of the polyml tar, also for
ProofGeneral, as required.
Which tool did you use to unpack the archives?
This archive was generated by a fusion of
Pipermail (Mailman edition) and