Specware and Isabelle can both be started up normally, each running under their own XEmacs job, but it convenient to run them under the same XEmacs. To do this run Isabelle_Specware.
Currently Isabelle does not run under Windows except with cygwin so this script is not available there. However, the translator can run from Specware even if Isabelle is not running.