Eclipse update site does not exist

[hanneshorn]

Eclipse update site http://spartan.cs.technion.ac.il/site does not exist

[OriRoth]

Hello @hanneshorn, thank you for posting this issue. We are aware of the problem and work to fix it as soon as possible. In the meanwhile, I would suggest manual installation of the plugin:

1. Download the plugin jar
2. Follow manual installation procedure
3. You can also try taking a look at our installation wiki

If you encounter a problem with the manual installation, you are more than welcomed to comment on this post.