On Sun, 23 Jan 2011, Clemens Ballarin wrote:
- MacOS X 10.5.8
Do you really have old Leopard, not Snow Leopard?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
