Frege/eclipse-plugin

Get rid of the IMP framework

Ingo60 opened this issue · 1 comments

The IMP is apparently dead, and the question is when will its code get unsupported?

I'd like to have an IMP-free, standalone plugin.

The more so as the provided Outline View is poor.

We are now using teh open source equivalent, the impulse plugin