[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Newsgroup Home]
[news.eclipse.tptp] Re: TPTP ran fine for first time but getting a time-out

JDK 1.6.0_12

Eclipse Galileo - Java EE IDE for Web Developers.
Build id: 20090621-0832

I am not sure how to reproduce this. I am attching the GIF image of all my plugin cfgs...please let me know if you want me to provide more detauls