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

Jasmin Blanchette j.c.blanchette at vu.nl
Fri Sep 27 12:53:30 CEST 2019


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

Thanks for your prompt help. I'm sorry about this mess-up. The version with an underscore existed in some patch, which I had popped to update the AFP. I had completely forgotten about that and thought the problem came from elsewhere.

Jasmin



More information about the isabelle-dev mailing list