From: Amin Bandali <bandali@gnu.org>
Date: Sun, 13 Jan 2019 03:25:10 +0000 (-0500)
Subject: [emacs] update proof general
X-Git-Url: https://git.shemshak.org/~bandali/configs/commitdiff_plain/d5e8f47bb491cc5a06b14121c5bc43922deac078?hp=d5e8f47bb491cc5a06b14121c5bc43922deac078

[emacs] update proof general
---