diff options
| author | David Aspinall | 2009-08-14 12:52:58 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-14 12:52:58 +0000 |
| commit | b2e046c85309c41e851c29489e34814bf7d4424e (patch) | |
| tree | 1276b7d0e215e1fc7f3b7848261e37aaad7e4f06 /generic/proof-script.el | |
| parent | a725f405197bd2b7800a31e92fbf7615579af2c5 (diff) | |
pg-current-word-pos: add for convenience in identifier query function
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions