Isabelle/jEdit 中的颜色代码是什么意思？我在Isabelle/jEdit 手册中找不到他们的描述。它唯一写的是
证明者反馈通过颜色、框、波浪下划线、超链接、弹出窗口、图标、可点击输出来工作——所有这些都基于 Isabelle 在后台生成的语义标记。
颜色用作校样脚本背景和滚动条旁边的垂直条。
你能指出一些文件或在这里解释吗？
问问题
850 次
1 回答
9
您可以在“Plugins/Plugin Options”和“Isabelle/Rendering”中查看并更改它们的名称。名称给出了比较清楚的解释，您可以从名称中使用的术语参考手册。
颜色有很多，我就不一一介绍了。对于最重要的默认颜色：
逻辑：
- 蓝色：自由变量
- 绿色：绑定变量
- 橙色：skolem 常数（“自由”变量存在“量化”）
- 青色：语法（不是变量或常量，如
caseorif）
伊萨尔关键词：
- 天蓝色：命令（如
lemma，proof或have） - 红色：战术风格的命令（如
apply，done或prefer） - turquoise : 陈述（如
where,fixes,showsorand）
输出中突出显示的消息：
- 红色：错误
- 黄色：警告
- 浅蓝色：信息
在编辑器中突出显示：
- 红色：错误
- 淡黄色：当前行
- 灰色：引用文本（逻辑和类型）
- 浅灰色：评论和正式文本（用
textor引入section） - 紫色：在命令上运行进程（也显示在右侧）
- 粉红色：未处理（过时）的命令（也显示在右侧）
通常，带下划线的命令会在输出中显示一条消息（可能与右侧的图标和框相关联）。进一步来说：
图标、[boxes] 和 {in text}：
- 红色感叹号 [红色框] {波浪形红色下划线}：错误
- 橙色感叹号 [橙色框] {波浪形橙色下划线}：警告
- blue i {squiggly blue underline}：信息（通常由自动工具提供）
- {squiggly gray underline} ：命令在输出中显示一条消息
- {red text}：评论（喜欢
(* This is a comment *)）
于 2014-03-25T21:12:46.903 回答