Isabelle/Eclipse nightly 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 nightly build of Isabelle/Eclipse plug-ins.