Re: [isabelle] polyml 4.1.3 segfault on debian sid



On Tuesday 16 Aug 2005 03:25, C G wrote:
> I was using smlnj package from Debian sid.

> Please help! Thank you!

I never got that package to work with Isabelle.
Instead, I'm just using the latest SML/NJ installed from sources.

Martin





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