|
|
Re: TPTP 4.4.0.1 is released! [message #108143 is a reply to message #108015] |
Thu, 09 August 2007 10:46 |
Paul Slauenwhite Messages: 975 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
|
|
|
Powered by
FUDForum. Page generated in 0.03701 seconds