[emacs][wip] fix proof general
authorAmin Bandali <bandali@gnu.org>
Mon, 24 Dec 2018 23:43:53 +0000 (18:43 -0500)
committerAmin Bandali <bandali@gnu.org>
Mon, 24 Dec 2018 23:43:53 +0000 (18:43 -0500)
commit426cec7a80db7a16d4b820e27996f05a68f99977
treef9940904b46ccf133be610d70226fb2257ccf0c4
parentc31b1ac02d0c0b4c375384dc72cc26073ecb526c
[emacs][wip] fix proof general
init.org