From a4c179265640436c7c252fa3785a3c1d62e0953b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Jun 2003 21:00:29 +0000
Subject: Set proof-shell-identifier-under-mouse-cmd

---
 isar/isar.el | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3