Installation of the Eclipsoid plug-in¶
You can install the Eclipsoid plugin directly from the Eclipse Marketplace by searching "eclipsoid" or simply from here:
After installation you should now see a new menu entry labled "z2-Environment" and two new icons:
NOTE (important): When you use the plugin and you get authentication errors, please check for the user/password used at Window/Preferences/z2-Environment. By default use user z* (yes, "z" followed by an asterisk) with password z.