Re: [photran-dev] major problem with plugin names

[Jeffrey Overbey <subscribe-photran-dev@xxxxxxxxxxxx>]

> It's even more confusing not to have ptp in the plugin name, and it's 

Wait, none of the Photran projects have "ptp" in the names, since we 
moved them from the Technology CVS repo.  There's no way we're going to 
rename all of them.  If we were going to do that, it should have 
happened when we did the merge several months ago.

> the plugins are identifiable with the project they are from

The Rephraser plug-ins all have "Eclipse.org - Photran" as the provider. 
   I can change it to "Eclipse.org - PTP/Photran" or something if we 
need to mention PTP.  At any rate, this makes it obvious what project 
they're from.

Jeff