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.