isabelle - Isabelle/jEdit 中的颜色代码是什么意思？

Question

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

Prover feedback works via colors, boxes, squiggly underline, hyper- links, popup windows, icons, clickable output — all based on semantic markup produced by Isabelle in the background.

颜色用作校样脚本背景和滚动条旁边的垂直条。

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

Answer 1

您可以在“Plugins/Plugin Options”和“Isabelle/Rendering”中查看并更改它们的名称。名称给出了比较清楚的解释，您可以从名称中使用的术语引用手册。

颜色有很多，我就不一一介绍了。
对于最重要的默认 颜色:

逻辑:

蓝色:自由变量

绿色:绑定(bind)变量

橙色:skolem 常数(“自由”变量存在“量化”)

青色:语法(不是变量或常量，如 case 或 if )

伊萨尔关键词:

天蓝色:命令(如 lemma、proof 或 have)

红色:战术风格的命令(如 apply、done 或 prefer)

turquoise : 语句 (如 where , fixes , shows 或 and )

输出中突出显示的消息:

红色:错误

黄色:警告

浅蓝色:信息

在编辑器中突出显示:

红色:错误

淡黄色:当前行

灰色:引用文本(逻辑和类型)

浅灰色:评论和正式文本(由 text 或 section 引入)

紫色:在命令上运行进程(也显示在右侧)

粉红色:未处理(过时)命令(也显示在右侧)

通常，带下划线的命令会在输出中显示一条消息(可能与右侧的图标和框相关联)。进一步来说:

图标、[boxes] 和 {in text}:

红色感叹号 [红色框] {波浪形红色下划线}:错误

橙色感叹号 [橙色框] {波浪形橙色下划线}:警告

blue i {squiggly blue underline}:信息(通常由自动工具提供)

{squiggly gray underline}:命令在输出中显示一条消息

{红色文字}:评论(如 (* This is a comment *))