[emacs][wip] fix proof general
[~bandali/configs] / var / abbrev.el
2018-12-12 Amin Bandali[emacs] commit var/abbrev.el abbrevs file