Project

General

Profile

Actions

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.

Updated by Henning Blohm over 2 years ago · 8 revisions