Isabelle/10584ca5785f has an updated version of Admin/PLATFORMS.
Executive summary:
* Mac OS Mountain Lion is now supported (macbroy30)
* Mac OS Leopard has been discontinued
* old 32 bit Mac hardware is no longer usable (lack of Java 7)
* explicit ISABELLE_PLATFORM32 helps to make the platform jungle
a bit more robust to configure (this is relevant for component
settings)
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
