Resources for Eclipse plug-ins developers contributing to the project.


Work in progress

The developer pages will be migrated/updated in a next iteration.

For the moment use the old pages which are mostly outdated, but better than nothing.

How to build

To locally build the Eclipse plug-ins and run a debug session, it is necessary to install an Eclipse and possibly some other tools.

Other resources

Comments on the content of this page that might be useful for other readers are welcomed here. For questions and general support, please use GitHub Discussions.