 (defun bootstrap-specware4 (in-current-dir?)
   (interactive "P")
   (let ((root-dir (if in-current-dir? default-directory
-		    (concat (getenv "SPECWARE4") "/"))))
+		    (concat (getenv "SPECWARE4")))))
     (run-specware4 root-dir)
     (sleep-for 2)
     (sw:eval-in-lisp (format "(top-level::do-command :cd %S)" root-dir))

	     (sleep-for 5)
	     (while (inferior-lisp-running-p`)
	       (sleep-for 2))
	     (run-lisp-application)
	     (simulate-input-expression "(load \"load.lisp\")")
	     (simulate-input-expression "(Bootstrap-Spec::compileAll)")))))


		       (if (stringp in-current-dir?)
			   in-current-dir?
			 default-directory)
		     (concat (getenv "SPECWARE4"))))
	 (bin-dir (concat root-dir
			  "/Applications/Specware/bin/"
			  (if (memq system-type '(ms-dos windows-nt windows-95
						  ms-windows))
			      "windows"
