Isabelle/Eclipse

Eclipse integration for Isabelle proof assistant

Isabelle/Eclipse releases for Isabelle 2012

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