Any chance of still working on Leopard if I neither use jEdit nor any
of the external provers?
Clemens
Quoting Makarius <makar...@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-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev