From: Amin Bandali 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?ds=sidebyside;hp=d5e8f47bb491cc5a06b14121c5bc43922deac078 [emacs] update proof general ---