为Isabelle定制proof-general的黑色主题
我在Isabelle和Proof General方面都是新手。
我试图在“证明通用”中设置一个与伊莎贝尔一起使用的黑色主题，但无论我选择什么主题(例如tango-dark、ample、monokai等)，未触及的内部语法都会以非常难以阅读的绿色突出显示。我研究过定制主题，但还没有想好在哪里定制它。下面是tango-dark的截图。
是否有一个很好的黑色主题可以很好地与Isabelle一起工作，或者我如何在Proof General中自定义Isabelle内部语法的突出显示？
回答 1
Stack Overflow用户
发布于 2015-03-04 04:05:44
作为Isabelle的新手，你应该完全忽略Proof General。它在10-12年前很重要，但在大约3年前成为真正的遗产，当时第一个生产就绪版本的Isabelle/jEdit ( Prover IDE)出现了。
请注意，Isabelle2014实际上是Isabelle的最后一个版本，原则上仍然可以使用Proof General。对它的支持已经从代码库中删除了，在即将到来的Isabelle2015版本(将在2015年春季发布)中将不会留下任何痕迹。
这意味着，用户坚持一些基于Emacs的Isabelle接口无法通过2014年夏末的状态，除非他们实现自己的基于Isabelle/PIDE基础设施的接口。
(我在这里发布这篇文章，有被Emacs的追随者降级的真正危险。许多年前，我自己也是其中之一，但那已经是很久以前的事了。)
https://stackoverflow.com/questions/28612484
复制相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号