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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and