Eclipse integration for Isabelle proof assistant.