diff options
| author | David Aspinall | 2011-01-31 10:35:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-31 10:35:55 +0000 |
| commit | 693c53bb867ead922124fe8c5621d947037327eb (patch) | |
| tree | 06be129a9ef699e2f8f4f22ad47e8ad48e3e4719 /isar/Example.thy | |
| parent | 17c414438339c4edc9fabc2a1f751ddbb1a685c6 (diff) | |
Support mouse action on modeline indicator for scripting mode
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions