From a725f405197bd2b7800a31e92fbf7615579af2c5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Aug 2009 12:51:30 +0000
Subject: Set proof-query-identifier-command in right place.

---
 isar/isar.el | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/isar/isar.el b/isar/isar.el
index ab0973d6..fb1edeb6 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -131,6 +131,10 @@ See -k option for Isabelle interface script."
    proof-save-command           "qed"
    proof-context-command        "print_context"
    proof-info-command           "welcome"
+   proof-query-identifier-command
+   '((nil     "thm %s;")
+     (string  "term \"%s\";")
+     (comment "term \"%s\";"))
    proof-kill-goal-command      "ProofGeneral.kill_proof"
    proof-shell-start-silent-cmd "disable_pr"
    proof-shell-stop-silent-cmd  "enable_pr"
@@ -210,11 +214,6 @@ See -k option for Isabelle interface script."
    proof-shell-theorem-dependency-list-split "\" \""
    proof-shell-show-dependency-cmd "thm %s;"
 
-   proof-query-identifier-command
-   '((nil     "thm %s;")
-     (string  "term \"%s\";")
-     (comment "term \"%s\";"))
-
    pg-special-char-regexp               "\^A[0-9A-Z]"
 
    pg-subterm-help-cmd			"term %s"
-- 
cgit v1.2.3