[isabelle-dev] Proof General 4.1 on Mac OS X

Makarius makarius at sketis.net
Sun Jan 23 20:39:44 CET 2011


On Sun, 23 Jan 2011, Clemens Ballarin wrote:

> - MacOS X 10.5.8

Do you really have old Leopard, not Snow Leopard?


 	Makarius



More information about the isabelle-dev mailing list