Menu
▾
▴
#381 Make explorer extensible
The fr.systerel.explorer plug-in is almost entirely made of internal classes. This is fine for Rodin Core, but it means that plug-ins (such as the Theory plug-in) can't extend the explorer without violating API restriction rules.
It would be much better if the fr.systerel.explorer plug-in had a public API that could be used to extend it.
