Isabelle/Eclipse Eclipse integration for Isabelle proof assistant Support for Isabelle2013-1 Isabelle/Eclipse does not support Isabelle2013-1 at the moment. The upgrade to support the new version is planned. Unfortunately, due to writing-up of my PhD thesis, the upgrade is likely to be delayed until early next year. Isabelle/Eclipse Eclipse plug-ins that provide Prover IDE for Isabelle proof assis