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