proof-general

9ısı

1cevap

Emacs

altındaki Coq/Proof General içindeki anahtar sözcükler ve işleçler için Unicode glifleri Bu sorunun Emacs'teki Proof General içindeki Coq modunu yapılandırmakla ilgisi vardır. Emacs, Coq'da anahtar sö

emacs unicode elisp coq proof-general 2012-04-20

---