develop-eclipse-ide-plugins
Installation
SKILL.md
Develop Eclipse IDE Plugins
Change an Eclipse plug-in so that its manifest, plugin.xml,
build.properties, and Java code agree, and prove each claim in the
runtime that executes it. Each card in the references gives a definition,
Use when and Do not use when conditions, the cost it removes,
verification, and a working example from assets/examples/plugin/: a
Tycho 5.0.4 reactor for Eclipse 4.41 that marks TAG: comments in
*.txt files as tasks.