diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2009-09-17 14:10:21 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2009-09-17 14:10:21 +0000 |
commit | 4d23028e922437dc69919f25649b6f1f7dd67da6 (patch) | |
tree | 4aeaaf447cfd9597ed835fe691c20168ed9e112c /coq/coq-db.el | |
parent | f97cb5f27b1ac21d2e3b9a807a588924985e4cda (diff) |
Added some syntax keywords thanks to Mathieu Sozeau.
Diffstat (limited to 'coq/coq-db.el')
0 files changed, 0 insertions, 0 deletions