[isabelle] Win32 installation



Good day. Please I am finding it difficult to get the installation pack for
widows 32 I can only get the 64 bit version which does not instal on 32 bit
version. I would be grateful if you can help out. Thanks
Okonkwo Chidi



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