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.

Updated by Henning Blohm 28 days ago · 7 revisions