diff options
| author | David Aspinall | 2009-08-07 13:41:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-07 13:41:05 +0000 |
| commit | 0f6a56ba41e9110b85063012a6aae949ae8b4ebb (patch) | |
| tree | 69ccba9953e913519645305c066cc52fbb19f957 | |
| parent | 5662a4c7148a586d2f30a291e0dbad8089ef198e (diff) | |
Rename proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-command
| -rw-r--r-- | isar/isar.el | 3 |
1 files changed, 2 insertions, 1 deletions
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\";")) |