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

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

Previous message (by thread): [isabelle-dev] Proof General 4.1 on Mac OS X
Next message (by thread): [isabelle-dev] Proof General 4.1 on Mac OS X
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On Sun, 23 Jan 2011, Clemens Ballarin wrote:

> - MacOS X 10.5.8

Do you really have old Leopard, not Snow Leopard?


 	Makarius

Previous message (by thread): [isabelle-dev] Proof General 4.1 on Mac OS X
Next message (by thread): [isabelle-dev] Proof General 4.1 on Mac OS X
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list