Eclipse integration for Isabelle proof assistant