Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] installation problem

view this post on Zulip Email Gateway (Aug 19 2022 at 11:17):

From: Antoine Grospellier <antoine.grospellier@ens-lyon.fr>
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.

Last updated: Feb 01 2025 at 20:19 UTC