Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] HOL-ex

view this post on Zulip Email Gateway (Jan 03 2021 at 11:42):

From: Makarius <>
That old thread about sessions with multiple source directories is still
pending. Conceptually it causes a lot of extra worries and complexity, but I
don't see a proper way to eliminate it in the foreseeable future.

So this "feature" will stay and we will have to "patch" various "bugs" coming
from it eventually.


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC