Re: [isabelle] How to Install Isabelle

I should have written (i)OS(X) instead, or do you believe that there is a big difference between iOS and OSX?

Am 29.03.2012 23:39, schrieb Tim (McKenzie) Makarios:
... I thought iOS was a mobile OS, optimized for touch, not for typing ...

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.