Gergely Buday (Aug 26 2020 at 06:48): Gergely Buday (Aug 26 2020 at 06:48):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?
Mathias Fleury (Aug 26 2020 at 07:38):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 21 2024 at 16:20 UTC