There is a pale blue i letter in a circle besides by "proof" keyword.
Does it raise my attention that Isabelle/jEdit suggests a proof outline there?
And, will an isabelle build session find no problem with this?
Yes, it suggests that Isabelle is giving some information here and no, it does not interact with building (especially since sometimes the proof outline does not work)
Last updated: Dec 07 2023 at 08:19 UTC