[tptp-news] TPTP v4.5.3 will be renaming to TPTP v4.6

[Kathy Chan <kathy@xxxxxxxxxx>]

Hi,

Due to picking up EMF 2.5 in Galileo
M5 which only supports Java 1.5, the next TPTP release that is delivered
into Galileo (based on Eclipse 3.5) needs to remove JVM 1.4 support as
well.  As a result, the PMC has decided that we will rename the current
HEAD development stream from TPTP v4.5.3 to TPTP v4.6.  The prerequisites
and the intented content of this release is still unchanged.  This
is just a renaming of the release name to emphasize the dropping of support
for JRE 1.4.  The builds and the web site will be updated later on
this week to reflect this change.

Regards,

Kathy Chan
IBM Canada Lab

kathy@xxxxxxxxxx