[isabelle] Isabelle2005 proof terms



Hello,

I upgraded today to Isabelle2005 and tried to compile the proof terms with both the -p 1 and -p 2 options, as I did with Isabelle2004. It runs for some hours and builds files of over 40 GB. As the heaps for Isabelle2004 were less than a gigabyte, I think there's something wrong.
Any ideas?

Thanks,

Sean





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