[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)
commitd5e8f47bb491cc5a06b14121c5bc43922deac078
tree70427f8ecad6c800f65a151322e6a6a3c958858a
parent2c0e34c3c6e8cee67ca82e361aa224675794ee13
[emacs] update proof general
straight/versions/default.el