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 <makarius@sketis.net>
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.

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Apr 18 2024 at 01:05 UTC