Re: [isabelle] INstalling Isabelle / sudo and permissions



On Tue, 12 Dec 2006 03:46 pm, clefort wrote:
> 24-182-155-183:~/Isabelle/Isabelle/ISABELLE_HOME clintonlefort$ ./
> clintonlefort/bin/isabelle
> Unknown logic "HOL" -- no heap file found in:
>    /Users/clintonlefort/isabelle/heaps/polyml_ppc-darwin
>    /Users/clintonlefort/Isabelle/Isabelle/ISABELLE_HOME/heaps/
> polyml_ppc-darwin
> 24-182-155-183:~/Isabelle/Isabelle/ISABELLE_HOME clintonlefort$
>
>
> Any insights?
>

It seems you need invoke build script from Isabelle distribution in order to 
compile objects logics. See INSTALL (section "Compiling logics").

Regards,
  Michael Nedzelsky






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