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

Question

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

证明反馈通过颜色,框,波浪下划线,超链接,弹出窗口,图标,可点击输出工作 - 所有这些都基于Isabelle在后台制作的语义标记.

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

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

Answer 1

您可以在"插件/插件选项"和"Isabelle/Rendering"中查看其名称并进行更改.这些名称给出了相对清晰的解释,您可以参考名称中使用的术语手册.

有很多颜色,所以我不会描述它们.对于最重要的默认颜色:

逻辑:

• 蓝色:自由变量
• 绿色:绑定变量
• 橙色:skolem常量("自由"变量存在"量化")
• 青色:语法(不是变量或常量,如case或if)

Isar关键词:

• 天蓝色:命令(如lemma,proof或have)
• 红色:战术风格的命令(如apply,done或prefer)
• 绿松石:语句(例如where,fixes,shows或and)

输出中突出显示的消息:

• 红色:错误
• 黄色:警告
• 浅蓝色:信息

在编辑器中突出显示:

• 红色:错误
• 浅黄色:当前行
• 灰色:引用文本(逻辑和类型)
• 浅灰色:评论和正式文本(用text或引入section)
• 紫色:命令上的运行过程(也显示在右侧)
• pink:未处理(过时)命令(也显示在右侧)

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

图标,[方框]和{文字}:

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