proof-general

Diese Frage hat mit der Konfiguration des Coq-Modus in Proof General in Emacs zu tun. Ich versuche, dass Emacs Schlüsselwörter und Notation in Coq automatisch durch die entsprechenden Unicode-Glyphen ersetzt. Es ist mir gelungen, fun als d...