From 0f6a56ba41e9110b85063012a6aae949ae8b4ebb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 Aug 2009 13:41:05 +0000
Subject: Rename proof-shell-identifier-under-mouse-cmd ->
 proof-query-identifier-command

---
 isar/isar.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/isar/isar.el b/isar/isar.el
index caa5fade..ab0973d6 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -209,7 +209,8 @@ See -k option for Isabelle interface script."
    proof-shell-theorem-dependency-list-regexp "Proof General, theorem dependencies of \\(.*\\) are \"\\(.*\\)\"\\(\^AJ\\)"
    proof-shell-theorem-dependency-list-split "\" \""
    proof-shell-show-dependency-cmd "thm %s;"
-   proof-shell-identifier-under-mouse-cmd
+
+   proof-query-identifier-command
    '((nil     "thm %s;")
      (string  "term \"%s\";")
      (comment "term \"%s\";"))
-- 
cgit v1.2.3