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:
>   /home/gp/ahrens/isabelle/heaps/Isabelle2008/polyml_x86-linux
>   /usr/local/Isabelle2008/heaps/polyml_x86-linux
> 
> 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?


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.