Nathan Temple (Jul 29 2024 at 20:13): Nathan Temple (Jul 29 2024 at 20:13):What is the meaning of the purple/red highlighting? Does it indicate an error? There is no output in the Output window:
Chelsea Edmonds (Jul 29 2024 at 21:05):Nathan Temple said:
What is the meaning of the purple/red highlighting? Does it indicate an error? There is no output in the Output window:
It typically means the proof hasn't terminated (i.e. you can't be sure that line is correct). See here: https://stackoverflow.com/questions/62350350/are-purple-colored-isabelle-proofs-valid, or search "purple highlight" in this thread for more detail.
Last updated: Dec 21 2024 at 16:20 UTC