diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-01-12 22:25:10 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-01-12 22:25:10 -0500 |
| commit | d5e8f47bb491cc5a06b14121c5bc43922deac078 (patch) | |
| tree | 70427f8ecad6c800f65a151322e6a6a3c958858a /Makefile | |
| parent | 2c0e34c3c6e8cee67ca82e361aa224675794ee13 (diff) | |
| download | configs-d5e8f47bb491cc5a06b14121c5bc43922deac078.tar.gz configs-d5e8f47bb491cc5a06b14121c5bc43922deac078.tar.xz configs-d5e8f47bb491cc5a06b14121c5bc43922deac078.zip | |
[emacs] update proof general
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions