Re: [isabelle] Questions about using Isabelle



On Fri, Nov 11, 2005 at 06:26:43PM +0100, Jin  Xiaohui wrote:
> I tried to install Isabelle with SML/NJ. When start Isabelle after the
> installment, an error message of "unknown logic "HOL", no heap file
> found in... " came up. I did more tries, such as exchange the installing
> order for the files, etc., the error just stays.

Run the script /usr/local/Isabelle/build.

Andrew





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