From: Amin Bandali <amin@aminb.org>
Date: Fri, 6 Jul 2018 16:11:16 +0000 (-0400)
Subject: [emacs] assimilate Proof General (for Coq)
X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/configs/commitdiff_plain/695170a4c7ba5c076b3f1c58b66836f20d242fa0?ds=inline;hp=695170a4c7ba5c076b3f1c58b66836f20d242fa0

[emacs] assimilate Proof General (for Coq)
---