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_______________________________________________
tptp-testing-tools-dev mailing list
tptp-testing-tools-dev@...
https://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev
