[isabelle] New version of Isabelle



Friends -
I was just wondering when, and whether, we could expect a new version of Isabelle and PolyML that support Intel-based Macs natively.

Peace






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