 	 (specware4-base-lisp (concat root-dir "/Applications/Specware/Specware4-base.lisp")))
     (run-plain-lisp)
     (sw:eval-in-lisp (format "(setf (sys:getenv \"SWPATH\") %S)"
-			     (concat (sw::normalize-filename root-dir) ":" slash-dir)))
+			     (concat (sw::normalize-filename root-dir)
+				     (if *windows-system-p* ";" ":")
+				     slash-dir)))
     (sw:eval-in-lisp (format "(setf (sys:getenv \"SPECWARE4\") %S)"
 			     (sw::normalize-filename root-dir)))
         

	 (world-name (concat bin-dir "/Specware4.dxl")))
    (run-plain-lisp)
    (sw:eval-in-lisp (format "(setf (sys:getenv \"SWPATH\") %S)"
			     (concat (sw::normalize-filename root-dir) ":" slash-dir)))
    (sw:eval-in-lisp (format "(setf (sys:getenv \"SPECWARE4\") %S)"
			     (sw::normalize-filename root-dir)))
    

    (unless (inferior-lisp-running-p)
      (sleep-for 1))
    (sw:eval-in-lisp (format "(setf (sys:getenv \"SWPATH\") %S)"
			     (concat (sw::normalize-filename root-dir)
				     (if *windows-system-p* ";" ":")
				     slash-dir)))
    (sw:eval-in-lisp (format "(setf (sys:getenv \"SPECWARE4\") %S)" (sw::normalize-filename root-dir)))
    (sw:eval-in-lisp (format "(top-level::do-command :cd %S)" dir))
    (sw:eval-in-lisp "(load \"Specware4.lisp\")")
