From: Amin Bandali <bandali@gnu.org>
Date: Mon, 24 Dec 2018 23:43:53 +0000 (-0500)
Subject: [emacs][wip] fix proof general
X-Git-Url: https://git.shemshak.org/~bandali/configs/commitdiff_plain/426cec7a80db7a16d4b820e27996f05a68f99977?hp=426cec7a80db7a16d4b820e27996f05a68f99977

[emacs][wip] fix proof general
---