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 almost 3 years ago · 8 revisions