diff options
| author | David Aspinall | 2009-08-14 12:51:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-14 12:51:12 +0000 |
| commit | 2ad140dd29501e1ac032d2dc28e9165b061aa6ab (patch) | |
| tree | 5e7b793c5df45a9b4645b9e21c8283a4936af4f9 /isar/Example.thy | |
| parent | ab25d99ada5e00b5a91d1c04c594fe93f7ebc49f (diff) | |
Tweak pg-identifier-near-point-query to add decoration to buffer.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions