diff options
| author | David Aspinall | 2009-08-14 12:51:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-14 12:51:30 +0000 |
| commit | a725f405197bd2b7800a31e92fbf7615579af2c5 (patch) | |
| tree | f23113df321594cd4bbcab9fef4de4a6b985d6ef | |
| parent | 2ad140dd29501e1ac032d2dc28e9165b061aa6ab (diff) | |
Set proof-query-identifier-command in right place.
| -rw-r--r-- | isar/isar.el | 9 |
1 files 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" |