Isabelle/Eclipse

Eclipse integration for Isabelle proof assistant

Isabelle/Eclipse updates for Isabelle 2013

This is an Isabelle/Eclipse update site/p2 repository. Use this URL to install Isabelle/Eclipse plug-ins via Eclipse Update Manager.

This update site will always point to the latest stable release of Isabelle/Eclipse plug-ins.