[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Company-coq and symbols

From: brettg
Subject: Company-coq and symbols
Date: Fri, 12 Apr 2019 06:57:21 +0200
User-agent: Posteo Webmail

Hey all, is anybody out there using Proof General with Pierre's company-coq? I am having an issue getting the prettified symbols to register, and none of the math related fonts (tex-bundled mostly?) seem to be encoding into Emacs properly.

I'd appreciate some help if anybody has some.

Brett Gilio

reply via email to

[Prev in Thread] Current Thread [Next in Thread]