[isabelle-dev] PLATFORMS

[Makarius]

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