Stream: Beginner Questions

Topic: Color coding

John Hughes (Apr 09 2024 at 11:50):

The colors in Isabelle/jEdit are mostly useful to me, but yesterday evening I ended up with a proof provided by "try" that got colored differently:
image.png

Can someone explain what that purple highlighting means?

Mathias Fleury (Apr 09 2024 at 11:53):

https://isabelle.zulipchat.com/#narrow/stream/238552-Beginner-Questions/topic/Proof.20method.20in.20purple/near/223358237

Last updated: May 06 2024 at 20:16 UTC