Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » Test and Performance Tools Platform (TPTP) » TPTP 4.4.0.1 is released!
TPTP 4.4.0.1 is released! [message #107894] Wed, 08 August 2007 14:51 Go to next message
Paul Slauenwhite is currently offline Paul Slauenwhite
Messages: 970
Registered: July 2009
Senior Member
TPTP Community,

The TPTP 4.4.0.1 maintenance release is now available for download:

http://www.eclipse.org/tptp/home/downloads/?ver=4.4.0.1

This maintenance release improves on the recent TPTP 4.4.0 release,
which is part of Europa. For more information on the TPTP 4.4.0 release,
see:

New and Noteworthy:
http://www.eclipse.org/tptp/home/downloads/whatsnew/v440/new _and_noteworthy.html

Quick Tour:
http://www.eclipse.org/tptp/home/downloads/quicktour/v44/qui ck_tour.html

For TPTP 4.4.0 users, update to the TPTP 4.4.0.1 release from the TPTP
Update Site (Test and Performance Tools Platform (TPTP) Updates) using the
Update Manager. For more information, see:

http://www.eclipse.org/tptp/home/downloads/updateManager.php

Paul Slauenwhite
TPTP Test Tools Project Lead
http://www.eclipse.org/tptp
Re: TPTP 4.4.0.1 is released! [message #108015 is a reply to message #107894] Wed, 08 August 2007 19:33 Go to previous messageGo to next message
Oliver Schoett is currently offline Oliver Schoett
Messages: 9
Registered: July 2009
Junior Member
Paul Slauenwhite wrote:
> TPTP Community,
>
> The TPTP 4.4.0.1 maintenance release is now available for download:
>
> http://www.eclipse.org/tptp/home/downloads/?ver=4.4.0.1
>

Forgive me for being confused: this page already existed on 24 July, and
I downloaded a "Version 4.4.0.1" (without -Date suffix) from there; have
there been changes since then, or is that equal to the released version?

Regards,

Oliver Schoett
Re: TPTP 4.4.0.1 is released! [message #108143 is a reply to message #108015] Thu, 09 August 2007 10:46 Go to previous message
Paul Slauenwhite is currently offline Paul Slauenwhite
Messages: 970
Registered: July 2009
Senior Member
Hi Oliver,
Correct, this version was released on July 24, 2007, with no changes
since then. We decided (late:) to make a formal announcement to make the
user community aware of the release and how to get the release, since it is
not on the Europa download site.

Paul
"Oliver Schoett" <os@sdm.de> wrote in message
news:46BA1A83.3060602@sdm.de...
> Paul Slauenwhite wrote:
>> TPTP Community,
>>
>> The TPTP 4.4.0.1 maintenance release is now available for download:
>>
>> http://www.eclipse.org/tptp/home/downloads/?ver=4.4.0.1
>>
>
> Forgive me for being confused: this page already existed on 24 July, and I
> downloaded a "Version 4.4.0.1" (without -Date suffix) from there; have
> there been changes since then, or is that equal to the released version?
>
> Regards,
>
> Oliver Schoett
Previous Topic:Can't run JUnit test with TPTP
Next Topic:Deployement of the material
Goto Forum:
  


Current Time: Fri Sep 19 17:53:41 GMT 2014

Powered by FUDForum. Page generated in 0.03301 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software