Isabelle / jEdit中的颜色代码是什么意思？在Isabelle / jEdit手册中找不到它们的描述。它唯一写的是
正确的反馈可通过颜色，框，弯曲的下划线，超链接，弹出窗口，图标，可点击的输出进行工作，所有这些都基于Isabelle在后台生成的语义标记。
颜色用作证明脚本背景，并在滚动条旁边的垂直栏中使用。
您可以指向一些文档还是在这里解释？
您可以看到它们的名称，并在“插件/插件选项”中然后在“ Isabelle /渲染”中进行更改。名称给出了相对清晰的解释，您可以从名称中使用的术语中参考手册。
有很多颜色，所以我不会全部描述。对于最重要的默认颜色：
逻辑：
case或if）Isar关键字：
lemma，proof或have）apply，done或prefer）where，fixes，shows或and）在输出中突出显示的消息：
在编辑器中突出显示：
text或引入section）通常，带下划线的命令会在输出中显示一条消息（可能与右侧的图标和框相关联）。进一步来说：
图标，[框]和{在文本中）：
(* This is a comment *)）本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句