Re: [isabelle] PolyML for x86-Darwin?

> Does anyone know of any moves to get PolyML going for the new
> IntelMacs?

David Matthews had a first go last week and discovered that the port is not
immediate. Unfortunately he doesn't have access to an Intel Mac (we had one
on loan at TUM and gave him an account for a few days) and hence that is
currently on hold. Maybe somebody has one sitting around he could give
David access to?


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