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