Hints about setting position in command

1 files changed, 8 insertions, 1 deletions

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)))