Stream: Isabelle/ML

Topic: ✔ Load ML files from other Sessions


view this post on Zulip Kevin Kappelmann (Dec 03 2021 at 22:04):

The "solution" was that I decided to bite the bullet and do the right thing: fix the setup of the AFP entry that I wanted to use.

view this post on Zulip Notification Bot (Dec 03 2021 at 22:04):

Kevin Kappelmann has marked this topic as resolved.


Last updated: Jul 15 2022 at 23:21 UTC