Stream: Beginner Questions

Topic: Pale blue i


view this post on Zulip 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?

view this post on Zulip 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: Mar 28 2024 at 08:18 UTC