       (let ((buf (find-file-noselect thy-file t)))
         (kill-buffer buf)		; Because of x-symbol problems if it already exists
         (sw:add-specware-to-isabelle-path)
-        (find-file-other-window (to-cygwin-name thy-file))
+        (find-file-other-window-0 (to-cygwin-name thy-file))
         (when (fboundp 'proof-unregister-buffer-file-name)
           (proof-unregister-buffer-file-name t))))))
 

      (let ((buf (find-file-noselect thy-file t)))
        (kill-buffer buf)		; Because of x-symbol problems if it already exists
        (sw:add-specware-to-isabelle-path)
        (find-file-other-window (to-cygwin-name thy-file))
        (when (fboundp 'proof-unregister-buffer-file-name)
          (proof-unregister-buffer-file-name t))))))

(defun sw:add-specware-to-isabelle-path ()
  (when (fboundp 'proof-shell-invisible-command)

        (error "Error processing spec %s" filename)
      (let ((buf (find-file-noselect thy-file t)))
        (kill-buffer buf)		; Because of x-symbol problems if it already exists
        (find-file-other-window-0 (to-cygwin-name thy-file))
        (when (fboundp 'proof-unregister-buffer-file-name)
          (proof-unregister-buffer-file-name t))))))

