Monday, May 18, 2009 12:39 PM
I've been trying to install the TPTP tools for Eclipse. The installation guides I have all mention going to Help -> Software Updates -> Find and Install.
On my version of Eclipse (Version: 3.4.2, Build id: M20090211-1700) there is no Find and install option.
Has it moved in this version, been disable, or what?
Thanks in advance,