diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-10-13 15:51:33 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-10-13 15:51:33 +0200 |
| commit | dbcdba63a79bfcafbc8873b787f18aa049198eaf (patch) | |
| tree | 3d85bc54aef3610c97cf87bd1c1ddc6c2a2cdd4d /coq/coq-syntax.el | |
| parent | efb54b9098d665fd58e99c42f53afd7e49a36c70 (diff) | |
Fixed coq-id-at-point.
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions