John> If you don't use fink ignore this message... If you do use fink I John> am currently in the process of creating a polyml5 package for John> fink. I have attached the polyml5.info file. If you put this in John> /sw/fink/dists/local/main/finkinfo/languages/ then fink index and John> fink install polyml5 you should get a working version of polyml5. John> I've also attached the isabelle-polyml5.info and .patch files and John> the proofgeneral.info and proofgeneral.patch files. All-in- all John> if you install all three of these packages you should get a John> working version of Isabelle using polyml5.
John> I created these packages because I acquired an Intel iMac. They John> have been submitted to fink but not yet accepted; I would John> appreciate feed- back.
Does your isabelle package rebuild the logics from scratch?
I am asking because I am not able to do that with polyml5, I run out of memory building HOL (on Debian, 1G RAM, 1G swap).