added jedit for Isabelle proving