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?
Jens

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.