proof-general

9El calor

1Respuesta

Glifos Unicode para palabras clave y operadores en Coq/Proof General bajo Emacs

Esta pregunta tiene que ver con la configuración del modo Coq dentro de Proof General, en Emacs. Estoy intentando que Emacs reemplace automáticamente las palabras clave y la notación en Coq con los gl