diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-06-08 21:00:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-06-08 21:00:29 +0000 |
| commit | a4c179265640436c7c252fa3785a3c1d62e0953b (patch) | |
| tree | 5d2d0a68c106ea77d5761aee3119dc57d0dfd723 | |
| parent | eaace516fb4c29a7b0ebbf2074b61db9fc2d47df (diff) | |
Set proof-shell-identifier-under-mouse-cmd
| -rw-r--r-- | isar/isar.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isar/isar.el b/isar/isar.el index 8b0d8327..615d40e2 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -247,6 +247,7 @@ 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;" ;; Allow font-locking for output based on hidden annotations, see ;; isar-output-font-lock-keywords-1 |