diff options
| author | Pierre Courtieu | 2012-09-07 10:14:50 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2012-09-07 10:14:50 +0000 |
| commit | 45bc0e01e199acfa8dce1ba253d81f7248cd112b (patch) | |
| tree | 2d8e06ae78f2c9c4e2ed8c91e2676001f3ee4bee /doc | |
| parent | 499893e8b94962c8a963d95b7144a1d0f8f33f11 (diff) | |
Fixed a bug with coq symbol detection at point. Now dot notation.are supported.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions