[isabelle-dev] PLATFORMS

Makarius makarius at sketis.net
Fri Aug 17 19:34:13 CEST 2012

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


More information about the isabelle-dev mailing list