|
All, I had raised a question about Java 1.5
compilation for TPTP and the inclusion of XercesJ 2.8 in this mornings AG call.
While the TPTP download is going to be built using the JDK 1.4.2. this is more
so for the case of users wanting to obtain sources and compile using Java 1.5.
See http://java.sun.com/j2se/1.5.0/docs/guide/xml/jaxp/JAXP-Compatibility_150.html
for more info on the same. The question to the development team is if XercesJ
2.8 supports Java 1.5 and if this has been validated. Thanks, Guru |
_______________________________________________ tptp-tracing-profiling-tools-dev mailing list tptp-tracing-profiling-tools-dev@eclipse.org https://dev.eclipse.org/mailman/listinfo/tptp-tracing-profiling-tools-dev
