diff options
author | 2011-06-07 01:48:37 +0000 | |
---|---|---|
committer | 2011-06-07 01:48:37 +0000 | |
commit | f6e2d94bd2e4b622668c9e6703e76e191224175e (patch) | |
tree | 9224f9c9387dc3b7471aa70151b430fbe2a34426 /generic/proof-autoloads.el | |
parent | 34da1bb2cff1cf0f80ec6465c58f0680c3bb8d48 (diff) |
Summary: * coq.el (coq-smie-backward-token): Fix typo in last change.
Diffstat (limited to 'generic/proof-autoloads.el')
0 files changed, 0 insertions, 0 deletions