On Fri, 17 Aug 2012, Clemens Ballarin wrote:
Any chance of still working on Leopard if I neither use jEdit nor any of the external provers?
Basically no. I also need to ugrade my own MacBook Pro after so many years of Leopard.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
