|Re: TPTP and Eclipse 3.1M6 [message #15204 is a reply to message #14838]
||Tue, 12 April 2005 10:34
| Paul Slauenwhite
Registered: July 2009
This is the latest build of TPTP and can be found at:
http://www.eclipse.org/tptp/ >> Latest Downloads
Since the TPTP project is relatively new (as compared to its Hyades
predecessor), there are no stable or release builds. In the future, I would
recommend using the release builds, unless there is something in particular
you want from a more current build.
"Tommy" <firstname.lastname@example.org> wrote in message
> Hi Paul!
> Thanks for this info, so which Eclipse version would you recommend for
> the build TPTP-4.0-200504050020.
> Would it be possible to put that info somewhere on the TPTP downloads
> Paul Slauenwhite wrote:
> > Hi Tommy,
> > TIPTOP v4.0 may be used with either the Eclipse v3.1 M5 or M6
> > However, I believe there are still several outstanding defects with
> > on the Eclipse v3.1 M6 driver.
> > Paul
> > "Tommy" <email@example.com> wrote in message
> > news:firstname.lastname@example.org...
> >>Can I use TPTP with Eclipse 3.1M5 or M6 ?
> >>If not when will that be the case?
Powered by FUDForum
. Page generated in 0.07423 seconds