Re: [isabelle] polyml 4.1.3 segfault on debian sid
C G wrote:
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.
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!
This archive was generated by a fusion of
Pipermail (Mailman edition) and