z2-Environment

Installation of the Eclipsoid plug-in¶

You can install the Eclipsoid plugin directly from the Eclipse Marketplace by searching "eclipsoid" or simply from here:

https://marketplace.eclipse.org/content/eclipsoid-z2-environment-eclipse-plugins

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.