Isabelle/jEdit でのカラー コードの意味は何ですか? Isabelle/jEdit マニュアルにそれらの説明が見つかりませんでした。唯一書いてあるのは
証明者のフィードバックは、色、ボックス、波線、ハイパーリンク、ポップアップ ウィンドウ、アイコン、クリック可能な出力を介して機能します。これらはすべて、Isabelle がバックグラウンドで生成したセマンティック マークアップに基づいています。
色は、プルーフ スクリプトの背景として、およびスクロールバーの横の垂直バーで使用されます。
ドキュメントを参照するか、ここで説明していただけますか?