[emacs] update proof general
authorAmin Bandali <bandali@gnu.org>
Sun, 13 Jan 2019 03:25:10 +0000 (22:25 -0500)
committerAmin Bandali <bandali@gnu.org>
Sun, 13 Jan 2019 03:25:10 +0000 (22:25 -0500)

No differences found