[isabelle-dev] PLATFORMS

Makarius makarius at sketis.net
Fri Aug 17 21:17:08 CEST 2012

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.


More information about the isabelle-dev mailing list