我是Isabelle和Proof General的新手。
我正在尝试在 Proof General 中设置一个深色主题以与 Isabelle 一起使用，但无论我选择什么主题（例如tango-dark、ample、monokai等），未触及的内部语法都会以非常难以阅读的绿色突出显示。我研究了自定义主题，但还没有弄清楚在哪里自定义它。下面是中的截图tango-dark。
是否存在与 Isabelle 配合得很好的漂亮深色主题，或者我如何在 Proof General 中自定义 Isabelle 内部语法的突出显示？
As a novice of Isabelle you should ignore Proof General altogether. It was important 10-12 years ago, but turned into genuine legacy about 3 years ago, when the first production-ready releases of Isabelle/jEdit (the Prover IDE) appeared.
Note that Isabelle2014 is actually the last Isabelle release, where Proof General can in principle still be used. Support for it has already been removed from the code-base, and there will be no trace of it left in the coming Isabelle2015 release (to appear in Spring 2015).
It means, users insisting in some Emacs-based Isabelle interface cannot get past the state of late summer 2014, unless they implement their own based on Isabelle/PIDE infrastructure.
(I am posting this here with a genuine danger of getting downgraded by adherents of Emacs. I used to be one myself many years ago, but that is long past.)