Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
StatET/Development Environment
Information about development of StatET in the Eclipse IDE:
See also https://projects.eclipse.org/projects/science.statet/developer
PDE Target Platform
The target files are located in org.eclipse.statet/releng/target-eclipse.ide/
. The target ws-eclipse.ide
is usually suitable for the development environment ("ws" = workspace). It includes the current Eclipse installation and uses the local third party in org.eclipse.statet/3rdparty/_assemblies/repository/target/repository
.