Usually extensions are defined into the ECLIPSE-EXTENSIONS package exporting all the symbols they provide with the usual mechanism: (export symbols :eclipse-extensions).

If you have some useful Eclipse extension, please post it to the mailinglists for inclusion on this page.

Don't know how to roll your own extensions? Read the Programmers Manual.