[isabelle-dev] PLATFORMS

Clemens Ballarin ballarin at in.tum.de
Fri Aug 17 20:31:26 CEST 2012


Any chance of still working on Leopard if I neither use jEdit nor any  
of the external provers?

Clemens


Quoting Makarius <makarius at sketis.net>:

> 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
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>





More information about the isabelle-dev mailing list