KeY 4 Eclipse Starter is a basic Eclipse extension to start KeY from within Eclipse.
The following sections illustrate the main features of KeY 4 Eclipse Starter using screenshots.
Each section contains numbered screenshots that explain a usage scenario step by step.
Clicking on each picture produces a more detailed view.
The screenshots may differ from the latest release.
KeY 4 Eclipse Starter is compatible with Eclipse Indigo (3.7) or newer.
Required update-sites and installation instructions are available in the download area.