[isabelle-dev] Options to pass to "isabelle jedit" after session directory reform

Makarius makarius at sketis.net
Thu Sep 26 15:34:00 CEST 2019

On 26/09/2019 15:31, Makarius wrote:
>> But now (Isabelle/ffbe7784cc85 and AFP/66bfe59e1850) this has stopped
> working. I get a red squiggly line under the import of
> "Concurrent_Revisions.Operational_Semantics" in "Foo".
> The theory name is actually "Concurrent_Revisions.OperationalSemantics"

BTW, you can also use completion on the theory base name, e.g. text
"Operational" followed by C+b in Isabelle/jEdit.


More information about the isabelle-dev mailing list