[polyml] polyml on macbook intel

If you don't use fink ignore this message...

If you do use fink I am currently in the process of creating a polyml5 package for fink. I have attached the polyml5.info file. If you put this in /sw/fink/dists/local/main/finkinfo/languages/ then fink index and fink install polyml5 you should get a working version of polyml5. I've also attached the isabelle-polyml5.info and .patch files and the proofgeneral.info and proofgeneral.patch files. All-in- all if you install all three of these packages you should get a working version of Isabelle using polyml5.

I created these packages because I acquired an Intel iMac. They have been submitted to fink but not yet accepted; I would appreciate feed- back.

Peace - John