Closed hanneshorn closed 6 years ago
@OriRoth : please do it
New version 2.13.5: with spartan jar file in eclipse dropins folder and starting eclipse with -clean doesn't appear to do anything. A couple of releases back a Spartan menu used to show under "Window-Preferences-Java" (if I recall correctly). Is the Spartan menu somewhere else now?
@hanneshorn it is probably a problem with the manual plugin installation. There is a new top menu option called Spartanizer
, everything has been moved there.
The update site for the plugin specified at the Eclipse marketplace is on again! You can install the plugin in the usual way.
Vise versa, the project is alive yet the update site have seen better days. I promise you will be notified whether this issue (faculty servers policy changes) is solved. I close this issue, you may stay tuned to #1622.