[news.eclipse.newcomer] Re: TPTP 4.4 plugins location for linux

[Ed Merks <merks@xxxxxxxxxx>]

Balakrishna,

I think you'd get this version 
http://www.eclipse.org/downloads/download.php?file=/tptp/4.4.0.2/TPTP-4.4.0.2/tptp.runtime-TPTP-4.4.0.2.zip 
and install it on the Linux version of Eclipse.  In other words, I think 
only Eclipse has different versions for the different OSes while TPTP 
has only one version of all OSes.  The all-in-one includes the Eclipse 
version for Windows as well as the above runtime...


Balakrishna wrote:
> Hello,
> > I need to install TPTP 4.4 Plugins for linux.
> > > There is no direct link for TPTP 4.4 plugin for linux
> >
> > I could get the link for Windows at the following link :
> >
> > http://www.eclipse.org/tptp/home/downloads/
> >  
> > In the above link there is a link for TPTP all in One package , Windows
> >
> > But  there is no link for Linux
> >  
> > Could you please help me out with a direct link or the mirror site 
> > for downloading TPTP 4.4 plugins for Linux?*
> >  
> > I am using Eclipse 3.3 and trying to do the setup with TPTP 4.4 on 
> > linux environment.*
> >  
> > I need gtk  support install files and for Redhat linux 4.0 platform.
> >
> >  Thanks & Regards,
> Balakrishna