[isabelle] installation problem



It works when I add ML_OPTIONS="" to the file Isabelle2013/contrib/polyml-5.5.0-3/etc/settings.
Thank you David for your help.

Best regards,
Antoine Grospellier.




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