diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-05-02 14:08:01 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-05-02 14:08:01 +0200 |
commit | 9ae103b86dd3cdfc3e6e6326ebc1a8f803e50f7d (patch) | |
tree | bcbd4f209e014220f94dea8a939fd88ebaada917 /coq/coq-syntax.el | |
parent | 69554c0916c0279bde6b795cb79f87b55069b25f (diff) | |
parent | 1c4fd3f01116ace158d3885e8a11c29f71d19823 (diff) |
Merge branch 'master' of github.com:ProofGeneral/PG
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions