Re: [isabelle] Manual theory loading



> I would expect both invocations to succeed. It becomes a problem when
> there are two sessions, where one of them imports another one qualified.

To answer my own question: It doesn't work with "isabelle console", but
it does work from Isabelle/Scala, by passing the "all_known = true" flag
when computing the session base.




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.