[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[tptp-platform-dev] TPTP support on JVM 1.4.2.


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