[tptp-news] TPTP support on JVM 1.4.2.

[Eugene Chan <ewchan@xxxxxxxxxx>]

Hi TPTP Community,

There is a discussion on dropping JVM
1.4.2 support in the next TPTP release (v4.5.3) and your input is welcome.

Please see bug 261322
for more information [ https://bugs.eclipse.org/bugs/show_bug.cgi?id=263122
]

If you have any concern about the potential
change, please let me know or add your comment/concern in the Bugzilla
entry.

Regards,
____________________________________________

Eugene Chan
IBM Toronto Laboratory, Canada