From dcb6d7eee01dfca57e3aca31f523ab16e5b0c126 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 18 Aug 2009 10:30:59 +0000
Subject: Hints about setting position in command

---
 isar/isar.el | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/isar/isar.el b/isar/isar.el
index b9381e2c..b7fe8e7a 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -541,10 +541,17 @@ Checks the width in the `proof-goals-buffer'"
   (regexp-opt (cons "ProofGeneral.process_pgip"
 		    isar-undo-commands)))
 
+(defun isar-positions-of (file line)
+  (concat ;; TODO: find out Isabelle names for position parameters
+   (if file (format "file=\"" file "\"")) ;; FIXME: wrong
+   (if line (format "line=\"" line "\""))))  ;; works
+   
 (defun isar-command-wrapping (string)
   (if (not (proof-string-match isar-nonwrap-regexp string))
       (concat
-       "Isabelle.command \""
+       "Isabelle.command "
+       ; isar-positions-of <proof-script-current-file> <line-number-from-span>
+       "\""
        (proof-replace-regexp-in-string
 	"[\000-\037\"\\\\]"
 	(lambda (str) (format "\\\\%03d" (string-to-char str)))
-- 
cgit v1.2.3