[isabelle] polyml 4.1.3 segfault on debian sid



I got the following with Isabelle 2004 & polyml 4.1.3
on Debian GNU/Linux sid

/usr/local/polyml-4.1.3/x86-linux $ ./poly
Poly/ML RTS version I386-4.1.3 (13:57:33 Sep 30 2002)
Copyright (c) 2002 CUTS and contributors.
Running with heap parameters (h=10240K,ib=2048K,ip=100%,mb=6144K,mp=20%)
段错误 (core dumped)

Please help! Thank you!


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