start isabelle script on windows