[isabelle] PolyML for x86-Darwin?



Subject says it all.

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

------------------------------------------------------------------
Dr Brendan Mahony
Information Networks Division                   ph +61 8 8259 6046
Defence Science and Technology Organisation     fx +61 8 8259 5589
Edinburgh, South Australia      Brendan.Mahony at dsto.defence.gov.au

Important: This document remains the property of the Australian
Government Department of Defence and is subject to the jurisdiction
of the Crimes Act section 70. If you have received this document in
error, you are requested to contact the sender and delete the document.







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