diff options
| author | David Aspinall | 2003-06-08 21:39:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-06-08 21:39:38 +0000 |
| commit | d9cd3030cc2b1c0f074f9fc5efd7d63fc4369710 (patch) | |
| tree | 58f8b7e84358e178b582fc0b03ebdebac84feaea /isar | |
| parent | 2c6e3b95b7d9669885129c06112ef608e5cb616a (diff) | |
Extend proof-shell-identifier-under-mouse to allow regions, and also depend on buffer context.
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index 615d40e2..b7b87a43 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -247,7 +247,10 @@ See -k option for Isabelle interface script." proof-shell-theorem-dependency-list-regexp "Proof General, theorem dependencies of \\(.*\\) are \"\\(.*\\)\"\361" proof-shell-theorem-dependency-list-split "\" \"" proof-shell-show-dependency-cmd "thm %s;" - proof-shell-identifier-under-mouse-cmd "thm %s;" + proof-shell-identifier-under-mouse-cmd + '((nil "thm %s;") + (string "term \"%s\";") + (comment "term \"%s\";")) ;; Allow font-locking for output based on hidden annotations, see ;; isar-output-font-lock-keywords-1 |