Re: [isabelle] polyml 4.1.3 segfault on debian sid



C G wrote:

But it does not help either. I tried a little to build a new ML_dbase
of polyml. But figured I do not have that much time. A lot to learn
right now. :) I'd rather wait for an official fix. :)

Thanks to all you guys!

For what is worth, I installed smlnj-110 and use that as my ML base - it works as well and I have not seen any differences when using the polyml base at school.

George






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