Main
Main copied to clipboard
Eclipse update site does not exist
Eclipse update site http://spartan.cs.technion.ac.il/site does not exist
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:
- Download the plugin jar
- Follow manual installation procedure
- 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.