 
 (defun run-specware-after-saving-lisp-image (output)
   (when (string-match saving-lisp-image-regexp output)
-    (sit-for 1)
+    (sit-for 2)
     (run-specware4))
   output)
 

    (setq *specware-build-buffer* (current-buffer)))

  (set-buffer *specware-build-buffer-name*)
  ;; (add-hook 'comint-output-filter-functions 'run-specware-after-saving-lisp-image nil t)
  (install-bridge)
  (setq bridge-handlers '(("(" . emacs-eval-handler))))


    filename))

(require 'bridge)
(require 'comint)

(defun start-specware-build-buffer (&optional name)
  (interactive)
