Main icon indicating copy to clipboard operation
Main copied to clipboard

Eclipse update site does not exist

Open hanneshorn opened this issue 8 years ago • 1 comments

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

hanneshorn avatar Jul 09 '17 17:07 hanneshorn

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.

OriRoth avatar Jul 09 '17 18:07 OriRoth