Re: [isabelle] Questions about using Isabelle



On Mon, Nov 07, 2005 at 04:15:04PM +0100, Jin  Xiaohui wrote:
> Also, I rebuilt the driver of PolyML according to the possible solution
> of "Segmentation faults with Linux" said on the installment webpage, the
> problem still cannot be solved. 

This was my experience as well.  I ended up using SML/NJ instead.  I had
to rebuild the Isabelle libraries with the provided build script.  I
can't remember everything I did, but I can check later if you have any
trouble.

Andrew





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