[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