|Re: ProbeKit TPTP & java 1.6 [message #129507 is a reply to message #129254]
||Tue, 29 April 2008 04:01
| Asaf Yaffe
Registered: July 2009
> Is there problems in the use of ProbeKit of TPTP with Java 1.6?
We are not aware of any such problem. If you encounter a problem, please
post the specific details here (OS, Java version, TPTP version, Eclipse
version, etc) and we'll do our best to help.
Eclipse TPTP Committer, JVMTI Profiler
Powered by FUDForum
. Page generated in 0.01440 seconds