私はIsabelleとProof Generalの両方の初心者です。
Isabelle で使用するために Proof General で暗いテーマを設定しようとしていますが、選択したテーマ (例: tango-dark、ample、monokaiなど) に関係なく、変更されていない内部構文が非常に読みにくい緑色で強調表示されます。テーマのカスタマイズを検討しましたが、カスタマイズする場所がわかりません。以下は のスクリーンショットですtango-dark。
Isabelle でうまく機能する既存のナイス ダーク テーマはありますか、または Proof General で Isabelle の内部構文の強調表示をカスタマイズするにはどうすればよいですか?
Isabelle の初心者として、Proof General を完全に無視する必要があります。それは 10 ～ 12 年前には重要でしたが、Isabelle/jEdit (Prover IDE) の最初の製品版リリースが登場した約 3 年前に真のレガシーになりました。
Isabelle2014 は実際には Isabelle の最後のリリースであり、Proof General は原則として引き続き使用できることに注意してください。そのサポートはコードベースから既に削除されており、次の Isabelle2015 リリース (2015 年春に登場予定) にはその痕跡は残りません。
つまり、Emacs ベースの Isabelle インターフェースを主張するユーザーは、Isabelle/PIDE インフラストラクチャーに基づいて独自のインターフェースを実装しない限り、2014 年の夏の終わりの状態から抜け出せないということです。
(私は、Emacs の信奉者によって格下げされるという真の危険を冒して、ここに投稿しています。私自身、何年も前にそうでしたが、それは遠い過去のことです。)