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: May 18 2024 at 16:18 UTC