颜色代码在Isabelle / jEdit中意味着什么？

Question

Isabelle / jEdit中的颜色代码是什么意思？我在Isabelle/jEdit manual找不到他们的描述。它唯一写的是

  

证明反馈通过颜色，方框，波浪线下划线，超   链接，弹出窗口，图标，可点击输出 - 全部基于语义   伊莎贝尔在后台制作的标记。

颜色用作校样脚本背景，位于滚动条旁边的垂直条上。

你能指出一些文件或在这里解释一下吗？

Answer 1

您可以在“插件/插件选项”中找到他们的名字并进行更改，然后再使用“Isabelle / Rendering”。这些名称给出了相对清晰的解释，您可以参考名称中使用的术语手册。

有很多颜色，所以我不会全部描述它们。 对于最重要的默认颜色：

逻辑：

• 蓝色：自由变量
• 绿色：绑定变量
• orange：skolem constant（“自由”变量存在“量化”）
• 青色：语法（不是变量或常量，如case或if）

Isar关键词：

• 天蓝色：命令（如lemma，proof或have）
• red：战术风格的命令（如apply，done或prefer）
• 绿松石：陈述（如where，fixes，shows或and）

在输出中突出显示的消息：

• red：错误
• 黄色：警告
• 浅蓝色：info

在编辑器中突出显示：

• red：错误
• 浅黄色：当前行
• 灰色：引用文字（逻辑和类型）
• 浅灰色：评论和正式文字（随text或section介绍）
• purple：在命令上运行进程（也显示在右侧）
• 粉红色：未处理（过期）命令（也显示在右侧）

通常，带下划线的命令会在输出中显示一条消息（可能与图标和右侧的框相关联）。更具体地说：

图标，[方框]和{文字}：

• 红色感叹号[红框] {波浪形红色下划线}：错误
• 橙色感叹号[橙色方框] {波浪形橙色下划线}：警告
• blue i {squiggly blue underline}：信息（通常由自动工具提供）
• {squiggly grey underline}：该命令在输出中显示一条消息
• {red text}：comment（如(* This is a comment *)）