diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-08-18 19:33:23 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-08-18 19:33:23 +0200 |
commit | 5f73b85cfcbb7cf0f39d212ce1d5a540e5b8ba22 (patch) | |
tree | a19ca0998160164a0af06c00cae1b0de13aaa030 /coq/coq-syntax.el | |
parent | 37fa6de5424f62266593258d33cebad96d9d6d86 (diff) | |
parent | b7f17b7ca09276be5cd29263bd5574fdd6fa4d2c (diff) |
Merge branch 'master' of github.com:ProofGeneral/PG
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions