+(defvar *windows-system-p* (memq system-type '(ms-dos windows-nt windows-95
+					       ms-windows)))
+
 ;; This is called to start Specware. It is invoked by a command-line
 ;; argument to Xemacs. This spawns a Lisp process.
 (defun run-specware4 (&optional in-current-dir?)


  (setq sw:common-lisp-image-name (getenv "LISP_EXECUTABLE"))
  (setq sw:common-lisp-image-file nil)
  (setq sw:common-lisp-image-arguments nil) ; '("+c"))

  (sw:common-lisp sw:common-lisp-buffer-name
		  sw:common-lisp-directory
		  sw:common-lisp-image-name)
  (sleep-for 1))

;; (simulate-input-expression "t")
(defun simulate-input-expression (str)

	 (dir (concat root-dir "/Applications/Specware/Handwritten/Lisp"))
	 (bin-dir (concat root-dir
			     "/Applications/Specware/bin/"
			     (if *windows-system-p*
				 "windows"
			       (symbol-name system-type))))
	 (world-name (concat bin-dir "/Specware4.dxl")))
