Re: [isabelle] missing link in isabelle installation files
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