diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-01-31 10:35:55 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-31 10:35:55 +0000 |
| commit | 693c53bb867ead922124fe8c5621d947037327eb (patch) | |
| tree | 06be129a9ef699e2f8f4f22ad47e8ad48e3e4719 /lib/proof-compat.el | |
| parent | 17c414438339c4edc9fabc2a1f751ddbb1a685c6 (diff) | |
Support mouse action on modeline indicator for scripting mode
Diffstat (limited to 'lib/proof-compat.el')
0 files changed, 0 insertions, 0 deletions