Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2020-RC1 --- session directories

view this post on Zulip Email Gateway (Aug 23 2022 at 08:31):

From: Makarius <makarius@sketis.net>
You merely need to refer to a dummy directory that no other session is using.

Then you import all theories from other sessions, as required.

Makarius

Last updated: Apr 25 2024 at 20:15 UTC