What do the color codes in Isabelle / jEdit mean?

Question

What do the color codes in Isabelle / jEdit mean? I could not find their description in the Isabelle / jEdit manual . The only thing he writes:

The feedback response works through colors, boxes, squiggly underlining, hyperlinks, pop-ups, icons, interactive output - all based on semantic markup created by Isabella in the background.

Colors are used as the background of the proof script and in the vertical bar next to the scroll bar.

Could you point out any documentation or explain it here?

Answer 1

" /", "/". , , .

, . :

:

• :
• :
• : ( "" "" )
• cyan: ( , case if)

:

• : (, lemma, proof have)
• red: (, apply, done prefer)
• turquoise: statements (, where, fixes, shows and)

:

• :
• :
• -:

:

• :
• -:
• : ( )
• -: ( text section)
• : ( )
• pink: () ( )

, (, ). :

, [] { }:

• [ ] {squiggly red }:
• [ ] {squiggly orange }:
• blue {squiggly blue underline}: ( )
• {squiggly grey underline}:
• {red text}: (, (* This is a comment *))