[isabelle] Isabelle2009 segfault



Hi,

  I downloaded Isabelle2009 today.  I unpacked it on Ubuntu 9.04, and
polyml segfaults before any computation begins.
Has anyone noticed this?

root at rooibos:~/tmp/polyml-5.2.1/x86-linux# ./poly
Segmentation fault


Best,

Sean





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