Refine can't start the license server. These include the Refine compiler together with the language models. No, and there are no current plans for them. No, and there are no current plans for Windows NT versions. Also, the interface is presently split between textual and graphical.
Some operations are available one way, some the other way.
For the most part, creating interpretations is done graphically rather than textually. The KITP prover introduces Skolem functions automatically, so you don't have to do it manually. If we were to connect a prover to Specware that did not skolemize, the translation from Slang to the prover's logic would probably include skolemization, so again you wouldn't have to do anything manually. Other applications grab colors, and then Refine can't get them. I've seen this same message, and I think it is bogus.