| Release Build 3.0.2 or 3.2.0? - novice seeking help [message #20309] |
Fri, 24 June 2005 01:07  |
Eclipse User |
|
|
|
Originally posted by: varaya.syamanond.centrelink.gov.au
Hi everyone,
I'm a beginner wishing to learn more about TPTP and therefore decide to
that I will be installing the latest release build. However, I'm just a
bit confused, when I get to the Download page the latest release build is
version 3.0.2 but right underneath there's also version 3.2.0 Can anyone
please explain to me the difference in the two versions? Your help is much
appreciated.
Cheers,
Sylvia
|
|
|
|
| Re: Release Build 3.0.2 or 3.2.0? - novice seeking help [message #20327 is a reply to message #20319] |
Sun, 26 June 2005 18:44  |
| Eclipse User |
|
|
|
Originally posted by: varaya.syamanond.centrelink.gov.au
Hi Antony,
Thank you very much for your explanation, now I can download what I'm
actually after.
Cheers,
Sylvia
Antony Miguel wrote:
> Hi Sylvia,
> The latest stable build of TPTP is 3.2.0. The 3.0.2 build shows up
> above it because it was built more recently but it is actually a
> maintenance stream of the original 3.0.0 build.
> At any one time there may be a number of these maintenance streams being
> maintained in parallel but to get the latest TPTP with the latest
> features just pick the highest numbers release from left to right.
> cheers
> Antony
> Sylvia S wrote:
>> Hi everyone,
>>
>> I'm a beginner wishing to learn more about TPTP and therefore decide to
>> that I will be installing the latest release build. However, I'm just a
>> bit confused, when I get to the Download page the latest release build
>> is version 3.0.2 but right underneath there's also version 3.2.0 Can
>> anyone please explain to me the difference in the two versions? Your
>> help is much appreciated.
>>
>> Cheers,
>> Sylvia
|
|
|
Powered by
FUDForum. Page generated in 0.20755 seconds
Home