Open hanneshorn opened 7 years ago
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:
If you encounter a problem with the manual installation, you are more than welcomed to comment on this post.
Eclipse update site http://spartan.cs.technion.ac.il/site does not exist