[groovy-user] Eclipse and plugins

I just started Eclipse to deal with rearrangements of my filestore.  As
ever I check for plugin updates and install them.  With 3.3 I then used
to go and delete old plugins in order to keep disc space use to a
reasonable level.  In 3.4 I cannot find a way to do the deletion -- am I
missing something obvious?  What is actually worrying is that it seems
to make a virtue of keeping the entire update history so it can revert
to any previous state -- i.e. it is assuming I have infinite disc space
and thinks I want to keep the entire update history.  This is seriously
worrying.

Thanks.

--

-- 
Russel.
====================================================
Dr Russel Winder                 Partner

Concertant LLP                   t: +44 20 7585 2200, +44 20 7193 9203
41 Buckmaster Road,              f: +44 8700 516 084
London SW11 1EN, UK.             m: +44 7770 465 077