--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on September 2009 ---
There's an eclipse plugin for why on http://www.lri.fr/~oudot/. Can this be used as an alternative to gWhy and has anybody successfully installed it? My Eclipse 3.5 reports: Unable to read repository at http://www.lri.fr/~oudot/plugin/WhyPluginUpdateSite. http://www.lri.fr/~oudot/plugin/WhyPluginUpdateSite <http://www.lri.fr/~oudot/plugin/WhyPluginUpdateSite> is not a valid repository location Also, nothing seems to happen If I place the jar manually in the plugins-directory.